|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
D. Bjorner , Neil D. Jones , A. P. Ershov, Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987, Elsevier Science Inc., New York, NY, 1988
|
| |
2
|
|
| |
3
|
|
| |
4
|
A. Bondorf, N. D. Jones, T. Mogensen, and P. Sestoft. Binding time analysis and the taming of selfapplication. Diku report, University of Copenhagen, Copenhagen, Denmark, 1988.
|
| |
5
|
|
| |
6
|
C. Consel. Analyse de Programmes, Evaluation Partielle et Generation de Compilateurs. PhD thesis, Universit~ de Paris VI, Paris, France, 1989.
|
 |
7
|
|
| |
8
|
C. Consel. The Schism Manual. Yale University, New Haven, Connecticut, USA, 1990. Version 1.0.
|
| |
9
|
|
| |
10
|
C. Consel and S. C. Khoo. Semantics-directed generation of a Prolog compiler. Research Report 781, Yale University, New IIaven, Connecticut, USA, 1990.
|
| |
11
|
O. Danvy. Semantics-directed compilation of non-linear patterns. Technical Report 303, Indiana University, Bloomington, Indiana, USA, 1990.
|
| |
12
|
A. P. Ershov, D. Bj0rner, Y. Futamura, K. Furukawa, A. Haraldsson, and W. L. Scherlis, editors. Selected Papers from the Workshop on Partial Evaluation and Mixed Computation, volume 6 of 2,3. OHMSHA. LTD. and Springer-Verlag, 1988.
|
| |
13
|
Y. Futamura. Partial evaluation of computation process- an approach to a compiler-compiler. Systems, Computers, Controls 2, 5, pages 45-50, 1971.
|
| |
14
|
|
| |
15
|
N. D. Jones. Challenging problems in partial evaluation and mixed computation. In {12}, pages 1-14.
|
| |
16
|
|
| |
17
|
N. D. Jones, C. K. Gomard, A. Bondorf, O. Danvy, and T. Mogensen. A self-applicable partial evaluator for the lambda calculus. In IEEE International Conference on Computer Languages, pages 49-58, 1990.
|
| |
18
|
|
| |
19
|
|
| |
20
|
N. D. Jones, P. Sestoft, and H. SCndergaard. Mix: a self-appficable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(x):9 z0, 19s9.
|
| |
21
|
|
| |
22
|
David Kranz , Norman Adams , Richard Kelsey , Jonathan Rees , Paul Hudak , James Philbin, ORBIT: an optimizing compiler for scheme, ACM SIGPLAN Notices, v.21 n.7, p.219-233, July 1986
|
| |
23
|
|
| |
24
|
|
| |
25
|
F. L. Morris. The next 700 formal language descriptions. Unpublished paper, 1970.
|
| |
26
|
P. Mosses. SIS- Semantics implementation System, reference manual and user guide. University of Aarhus, Aarhus, Denmark, 1979. Version 1.0.
|
| |
27
|
|
| |
28
|
It. R. Nielson and F. Nielson. The TML-approach to compiler-compilers. Technical Report 88-47, Technical University of Denmark, Lyngby, Denmark, 1988.
|
| |
29
|
|
| |
30
|
U. Pleban. Semantics-directed compiler generation. In A GM Symposium on Principles of Programming Languages, 1987. Tutorial.
|
| |
31
|
|
| |
32
|
|
| |
33
|
J. Reynolds. The essence of Algol. In Van Vliet, editor, International Symposium on Algorithmic Languages, pages 345-372. North-Holland, 1981.
|
| |
34
|
|
| |
35
|
|
| |
36
|
|
| |
37
|
|
| |
38
|
|
| |
39
|
|
| |
40
|
M. Wand and Z. Wang. Conditional lambda-theories and the verification of static properties of programs. In IEEE Symposium on Logic in Computer Science, pages 321-332, 1990.
|
CITED BY 17
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Michael Sperber , Robert Glück , Peter Thiemann, Bootstrapping higher-order program transformers from interpreters, Proceedings of the 1996 ACM symposium on Applied Computing, p.408-413, February 17-19, 1996, Philadelphia, Pennsylvania, United States
|
|
|
|
|
|
Mads Sig Ager , Olivier Danvy , Mayer Goldberg, A symmetric approach to compilation and decompilation, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.3