1
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Approach to Goal-Directed Evaluation -- Integrating Partial Evaluators into Interpreters -- A Design...

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Architectures -- Reasoning about Staged Computation -- Specialization of Systems Programs: Lessons...

4
by Batory, Don
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Computer science...

5
Published 2002
Springer Berlin Heidelberg
Subjects: ...Compilers (Computer programs)...

7
by Taha, Walid
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects: ...Computer science...

8
Published 2017
Springer International Publishing
Table of Contents: ... Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering...