A confluent calculus of macro expansion and evaluation

Syntactic abbreviations or macros provide a powerful tool to increase the syntactic expressivity of programming languages. The expansion of these abbreviations can be modeled with substitutions. This paper presents an operational semantics of macro expansion and evaluation where substitutions are ha...

Full description

Bibliographic Details

Main Author:	Bove, Ana (author)
Other Authors:	Arbilla, Laura (author)
Format:	report
Published:	1991
Subjects:	Macros Explicit Substitutions Rewriting Semantics Programming Languages Substituciones Explícitas Lenguajes de Programación Semántica
Online Access:	http://hdl.handle.net/20.500.12008/3410
Tags:	Add Tag No Tags, Be the first to tag this record!