Prescriptive Frameworks for Multi-Level Lambda-Calculi

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 12, 1997, Pages 193-202

  Nielson, Flemming ^a   Nielson, Hanne Riis ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347936464     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258994.259018     Document Type: Article

References (14)

1. R. Davies and F. Pfenning: A Modal Analysis of Staged Computation. Proc. POPL'96 pp. 258-270, ACM Press, 1996.
2. R. Glück and J. Jørgensen: Efficient Multi-level Generating Extensions for Program Specialization. PLILP'95, Springer Lecture Notes in Computer Science, vol. 982: pp. 259-278, 1995.
3. J. A. Goguen and J. W. Thatcher and E. G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. Current Trends in Programming Methodology, vol. 4, (R. T. Yeh, editor), Prentice-Hall, 1978.
4. F. Henglein and C. Mossin: Polymorphic Binding-Time Analysis. ESOP'94, Springer Lecture Notes in Computer Science, vol. 788: pp. 287-301, 1994.
5. N. D. Jones and P. Sestoft and H. Søndergaard: An Experiment in Partial Evaluation: the Generation of a Compiler Generator. Rewriting Techniques and Applications, Springer Lecture Notes in Computer Science, vol. 202: pp. 124-140, 1985.
6. N. D. Jones and F. Nielson: Abstract Interpretation: A Semantics-Based Tool for Program Analysis. Handbook of Logic in Computer Science, vol. 4: 527-636, Oxford University Press, 1995.
7. F. Nielson: Two-Level Semantics and Abstract Interpretation. Theoretical Computer Science -Fundamental Studies, 69: 117-242, 1989.
8. F. Nielson and H. R. Nielson: Two-level semantics and code generation. Theoretical Computer Science, 56(1): 59-133, 1988.
9. H. R. Nielson and F. Nielson: Automatic Binding Time Analysis for a Typed λ-calculus. Science of Computer Programming, 10: 139-176, 1988.
10. F. Nielson and H. R. Nielson: Two-Level Functional Languages. Vol. 34 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.
11. F. Nielson and H. R. Nielson: Multi-Level LambdaCalculi: an Algebraic Description. Partial Evaluation, Springer Lecture Notes in Computer Science, vol. 1110: pp. 338-354, 1996.
12. F. Nielson and H. R. Nielson: Multi-Level Languages: a Descriptive Framework. Technical Report DAIMI PB-510, Computer Science Department, Aarhus University, 1996.
13. C. Strachey: The Varieties of Programming Languages. Technical Monograph PRG-10, Programming Research Group, University of Oxford, 1973.
14. M. Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science: Formal Models and Semantics, vol. B: 675-788, Elsevier (and MIT Press), 1990.