Macroby-example: Deriving syntactic transformations from their specifications

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn Part F130236, Issue , 1987, Pages 77-84

  Kohlbecker, Eugene E ^a   Wand, Mitchell ^b  

^a INDIANA UNIVERSITY   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYNTACTICS;

COMPILER DEVELOPMENT; SYNTACTIC ABSTRACTION; SYNTACTIC TRANSFORMATIONS;

LISP (PROGRAMMING LANGUAGE);

EID: 84976219753     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/41625.41632     Document Type: Conference Paper

References (12)

1. Felleisen, M. "Transliterating Prolog into Scheme," Indiana University Computer Science Department Technical Report No. 182, October, 1985.
2. Foderaro, J.K., Sklower, K.L., and Layer, K. The Franz Lisp Manual, June, 1983.
3. Felleisen, M., and Friedman, D.P., "A Closer Look at Export and Import Statements," Computer Languages 11 (1986), 29-37.
4. Friedman, D.P., Haynes, CT, and Wand, M. "Obtaining Coroutines with Continuations," Computer Languages 11 (1986), to appear.
5. Jorring, U., and Sherlis, W.L. "Compilers and Staging Transformations," Conf. Rec. 19th Annual ACM Symposium on Principles of Programming Languages (1986), 86-96.
6. Kohlbecker, E., Syntactic Extensions in the Programming Language Lisp, PhD dissertation, Indiana University, August, 1986.
7. Kohlbecker, E., Friedman, D.P., Felleisen, M., and Duba, B. "Hygienic Macro Expansion," Proceedings 1986 ACM Conference on Lisp and Functional Programming, 151-161.
8. Rees, J., and dinger, W., eds. "Revised3 Report on the Algorithmic Language Scheme," SIGPLAN Notices, to appear.
9. Steele, G.L. and Sussman, G.J. "The Revised Report on SCHEME," Mass. Inst, of Tech. Artif. Intell. Memo No. 452, Cambridge, MA (January, 1978).
10. Wand, M. "Deriving Target Code as a Representation of Continuation Semantics," A CM Trans, on Prog. Lang, and Systems 4, 3 (July, 1982) 496-517.
11. Wand, M. "A Semantic Prototyping System," Proc. ACM SIGPLAN '84 Compiler Construction Conference (1984), 213-221.
12. Wand, M. "The Semantics of Backtracking," Brandeis University Computer Science Department Colloquium, January, 1985 (unpublished).