Natural semantics-directed generation of compilers and abstract machines

Formal Aspects of Computing

Volumn 12, Issue 2, 2000, Pages 71-99

  Diehl, Stephan ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Abstract machines; Compiler generation; Natural semantics

Indexed keywords

EID: 0041783111     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00003929     Document Type: Article

References (53)

1. Aczel, P.: An introduction to inductive definitions. In J. Barwise, editor, Handbook of Mathematical Logic. North-Holland, 1977.
2. Aho, A. V., Sethi, R. and Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
3. Aho, A. V. and Ullman, J. D.: The Theory of Parsing, Translation and Compiling. Prentice-Hall, 1972.
4. Aït-Kaci, H.: Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991.
5. Astesiano, E.: Inductive and operational semantics. In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts. Springer-Verlag, IFIP, 1991.
6. Berry, D.: Generating Program Animators from Programming Language Semantics. Technical Report ECS-LFCS-91-163, University of Edinburgh, 1991.
7. Böschen, C., Fecht, C., Hense, A. V., and Wilhelm, R.: An abstract machine for an object-oriented language with top-level classes. Technical Report FB14 - No. A 02/94, Computer Science Department, University of Saarbrücken, 1994.
8. Cardelli, L.: Compiling a functional language. In International Symposium on LISP and Functional Programming. Austin, Texas, ACM, 1984.
9. Cousineau, G., Curien, P.-L. and Mauny, M.: The categorical abstract machine. In Proceedings of Conference on Functional Programming Languages and Computer Architecture FPCA'85, volume LNCS 201. Springer-Verlag, 1985.
10. Damas, L. and Milner, R.: Principal type-schemes for functional languages. In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages POPL'82. Alberquerque, New Mexico, ACM, 1982.
11. da Silva, F. Q. B.: Towards a formal framework for evaluation of operational semantics. Technical Report ECS-LFCS-90-126, Edinburgh University, 1990.
12. da Silva, F. Q. B.: Correctness Proofs of Compilers and Debuggers: an Approach Based on Structural Operational Semantics. PhD thesis, University of Edinburgh, 1992.
13. Despeyroux, T.: Executable specification of static semantics. In G. Kahn, D. B. MacQueen and G. Plotkin, editors, Proceedings of International Symposium on Semantics of Data Types, volume LNCS 173. Springer-Verlag, 1984.
14. Despeyroux, J.: Proof of translation in natural semantics. In Proceedings of the Symposium on Logic in Computer Science LICS '86. IEEE Computer Society, 1986.
15. Diehl, S.: Semantics-Directed Generation of Compilers and Abstract Machines. Ph.D. thesis, University Saarbrücken, Germany, 1996. http://www.cs.uni-sb.de/~diehl/phd.html.
16. Diehl, S.: An experiment in abstract machine design. Software - Practice and Experience, 27(1): 49-62, 1997.
17. Diehl, S.: Transformations of evolving algebras. In Proceedings of VIII International Conference on Logic and Computer Science LIRA'97, pages 43-50. Novi Sad, Yugoslavia, 1997.
18. Diehl, S.: Bootstrapped semantics-directed compiler generation. In P. D. Mosses and D. A. Watt, editors, AS'99, Proceedings of Second International Workshop on Action Semantics, Amsterdam, The Netherlands, number NS-99-3 in Notes Series, BRICS, Department of Computer Science, University of Aarhus, May 1999. Available from http://www.brics.dk/NS/99/3.
19. Diehl, S.: A generative methodology for the design of abstract machines. Science of Computer Programming, Vol. 38, pages 125-142, 2000.
20. Diehl, S. Hartel, P. and Sestoft, P.: Abstract machines for programming language implementation. Future Generation Computer Systems, Vol. 16(7), Elsevier, pages 739-751, 1999.
21. Futamura, Y.: Partial evaluation of computation process: An approach to a compiler-compiler. Systems, Computers, Controls, 2(5): 45-50, 1971.
22. Hannan, J.: Operational semantics-directed compilers and machine architectures. ACM Transactions on Programming Languages and Systems TOPLAS, 16(4): 1215-1247, 1994.
23. Huet, G.: Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4): 797-821, 1980.
24. Jaffar, J., Stuckey, P. J., Michaylov, S. and Yap, R. H. C.: An abstract machine for CLP(ℛ). In PLDI'92, San Francisco. Sigplan Notices, 1992.
25. Jones, N. D., Gomard, C. K. and Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
26. Johnson, T.: Efficient compilation of lazy evaluation. In CC'84. Sigplan Notices 19(6), 1984.
27. Jouannaud, J.-P.: Introduction to rewriting. In H. Comon and J.-P. Jouannaud, editors, Term Rewriting, volume LNCS 909. Springer-Verlag, 1995.
28. Jørring, U. and Scherlis, W. L.: Compilers and staging transformations. In Thirteenth ACM Symposium on Principles of Programming Languages, St. Petersburg, Florida, pp. 86-96. ACM Press, 1986.
29. Kahn, G.: Natural semantics. In 4th Annual Symposium on Theoretical Aspects of Computer Science, volume LNCS 247, pp. 22-39. Springer-Verlag, 1987.
30. Kursawe, P.: How to invent a Prolog machine. In Proceedings of Third International Conference on Logic Programming, pp. 134-148. LNCS 225, Springer-Verlag, 1986.
31. Landin, P. J.: The mechanical evaluation of expressions. Computer Journal, 6(4): 308-320, 1964.
32. Lee, P.: Realistic Compiler Generation. MIT Press, 1989.
33. Lemone, K. A.: Design of Compilers: Techniques of Programming Language Translation. CRC Press, 1992.
34. Lewis, H. R. and Papadimitriou, C. H.: Elements of the Theory of Computation. Prentice-Hall, 1981.
35. Lloyd, J. W.: Foundations of Logic Programming, 2nd edn. Springer-Verlag, 1987.
36. McKeever, S.: A framework for generating compilers from natural semantics specifications. In P. D. Mosses, editor, Proceedings of the 1st Workshop on Action Semantics, BRICS-NS-94-1. University of Aarhus, Denmark, 1994.
37. Mehl, M., Scheidhauer, R. and Schulte, C.: An abstract machine for OZ. In M. Hermenegildo and S. D. Swierstra, editors, 7th International Symposium, PLILP'95. volume LNCS 982. Springer-Verlag, 1995.
38. Milner, R., Tofte, M. and Harper, R.: The Definition of Standard ML. MIT Press, 1990.
39. Mosses, P. D.: Action Semantics. Cambridge University Press, 1992.
40. Moura, H.: Action Notation Transformations. PhD thesis, University of Glasgow, 1993.
41. Moura, H. and Watt, D. A.: Action transformations in the ACTRESS compiler generator. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Proceedings of 6th International Workshop on Languages and Compilers for Parallel Computing CC'94, volume LNCS 768. Springer-Verlag, 1994.
42. Mück, A.: Camel: An extension of the categorical abstract machine to compile functional logic programs. In PLILP'92, volume LNCS 631. Springer-Verlag, 1992.
43. Nielson, F. and Nielson, H. R.: Code generation from two-level denotational meta-languages. In H. Ganzinger, N. D. Jones, editors, Programs as Data Objects, volume LNCS 217. Springer-Verlag, 1986.
44. Nielson, H. R. and Nielson, F.: Semantics with Applications - A Formal Introduction. John Wiley, 1992.
45. Nilsson, U.: Towards a methodology for the design of abstract machines. Journal of Logic Programming, 16(1,2): 163-189, 1993.
46. Pemberton, S. and Daniels, M.: Pascal Implementation, The P4 Compiler. Ellis Horwood, 1982.
47. Pettersson, M.: Compiling Natural Semantics Ph.D. thesis, Linköping University, Sweden, 1995.
48. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN 19, Computer Science Department, Aarhus University, 1981.
49. Schmidt, D. A.: Natural-semantics-based abstract interpretation (preliminary version). In A. Mycroft, editor, Proceedings of Second International Symposium on Static Analysis, volume LNCS 983. Springer-Verlag, 1995.
50. Sun Microsystems. Documentation of the Java Developers Kit - version 1.0 Beta, 1995. Available at http://java.sun.com/JDK-beta/index.html.
51. Warren, D. H. D.: Implementing Prolog: Compiling predicate logic programs. D.A.I Research Report No. 40, Edinburgh, 1977.
52. Wilhelm, R. and Maurer, D.: Übersetzerbau - Theorie. Konstruktion, Generierung. Springer-Verlag, Berlin, Heidelberg, 1992. English edition: Compiler Design. Addison-Wesley, 1995.
53. Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, 1993.