Compiler Prototyping Using Formal Semantics

ACM SIGPLAN Notices

Volumn 19, Issue 6, 1984, Pages 94-105

  Pleban, Uwe F ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84974476126     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/502949.502883     Document Type: Article

References (25)

1. Bodwin, J., Bradley, L., Kanda, K., Litle, D., and Pleban, U. Experience with an experimental compiler generator based on denotational semantics. Proceedings of ACM SIGPLAN '82 Symposium on Compiler Construction. SIGPLAN Notices 17, S (June 1982), 216-229.
2. Farrow, R. Experience with an attribute grammar-based compiler. Proc. of 9th ACM POPL Conf., Albuquerque. NM, January 1982, 95-107.
3. Ganapathi, M, Retargetable code generation and optimization using attribute grammars. Ph.D. Dissertation. Technical Report #40S, Computer Sciences Department, University of Wisconsin-Madison, 1980.
4. Ganapathi, M., and Fischer, C. N. Description-driven code generation using attribute grammars. Proc. of 9th ACW POPL Conf., Albuquerque, NM, (January 1982, 108-119. Glanville. R. S. and Graham, S. A new method for compiler code generation. Proc. 5th ACM PDPL Conf., Tucson, AZ. January 1978.
5. Johnson, S. C. VACC; Yet another compiler compiler. Bell Labs Computing Science Technical Report No. 32, Murray Hill. NJ. 1975.
6. Jones, N. D., and Christiansen. H, Control flow treatment In a simple semantics-directed compiler generator. Formal Description of Programming Concepts II, IFIP IC-2 working Conference. North Holland, Amsterdam, 1982.
7. Kastens, U., and Zimmermann, E. GAG--A generator based on attribute grammars. Universität Karlsruhe, Institut für Informatlk. Bertcht Nr. 14/80, 1980.
8. Kernighan, D. W., and Ritchie, D. M. The C programming language. Hall, 1978.
9. Kini, Martin, and Stoughton. Tools for testing the denotational semantics of a programming language. Technical Report, USC-ISI, May 1983.
10. Milne. R. E. and Strachey, C. A theory of programming language semantics. Chapman and Hall, London, 1976.
11. Milos, D., Pleban, U., and Loegel, G. Direct implementation of compiler specifications, or: The Pascal P-code compiler revisited. Conference Record 11th PDPL Conference, Salt Lake City, UT, January 1984. :
12. Mosses. P. SIS-'Semanticsimplementation system (reference manual and user guide). DAIMI MD-30. Computer Science Department, Aarhus University, Aarhus, Denmark. August 1S79.
13. Nori, K. V., Ammann, U. Jensen. K., Naegeli, H. H., and Jacobi, C. The Pascal P-compi1er: Implementation notes (rev. ed.). Technical Report No.10, institut für Informatlk, ETH Zurich.
14. Nori, K. V. Personal communication, February 1983.
15. Paulson, L. A compiler generator' for semantic grammars. Ph. D. Dissertation, Stanford University. December 13S1.
16. Paulson. L. A semantics-directed compiler generator. Conference Record 9th ACM POPL Conference. Albuquerque, NM, January 1983, 224-239.
17. Raiha, K. J. Experiences with the compiler writing system HLP, In: Jones, N. D. (Ed.) Semantics-directed compiler generation. Led are Notes in Computer Science, Vol. 94, Springer-Ver1ag, 1980.
18. Raskovsky, M. Denotational semantics as a specification of cade generators. Proceedings ACM SIGPLAN '82 Conference on Compiler Construction, SIGPLAN Notices 17. e (June 1982), 23Q-244.
19. Scott. D. S. Data types as lattices. SIAM Journal on Computing, Vol. 5, 1976. 522-587.
20. Sethi, R. Control flow aspects of semantics directed compiling. Proceedings ACM SIGPLAN '82 Conference on Compiler Construction, SIGPLAN Notices 17. (June 1982), 245-260.
21. Steele, G. L., Jr., and Sussman, G. J. The revised report an SCHEME, a dialect of LISP. Memo 452, MIT AI Lab, January 1978.
22. Tennent. R. D. A denotatlonal definition of the programming language Pascal. Programming Research Group, University of Oxford, April 1982.
23. Wand, M. Deriving target code as a representation of continuation semantics. ACM TOPLAS 4, 3 (July 1982). 496-517.
24. Wand. M. Loops in combinator based compilers. Proc, 10th POPL, Austin, TX. January 1983.
25. Wand, M. A Semantic prototyping system (Summary). Computer Science Department. Indiana University. November 1983.