Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/3410
How to cite
| Title: | A confluent calculus of macro expansion and evaluation |
| Authors: | Bove, Ana Arbilla, Laura |
| Type: | Reporte técnico |
| Keywords: | Macros, Explicit Substitutions, Rewriting Semantics, Programming Languages, Substituciones Explícitas, Lenguajes de Programación, Semántica |
| Issue Date: | 1991 |
| Abstract: | 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 handled explicity. The semantics is defined in terms of a confluent, simple, and intuitive ser of rewriting rules. The resulting semantics is also a basis for developing correct implementations. |
| Publisher: | UR. FI – INCO. |
| Series or collection: | Reportes Técnicos 91-01 |
| ISSN: | 0797-6410 |
| Citation: | BOVE, A., ARBILLA, L. "A confluent calculus of macro expansion and evaluation". Reportes Técnicos 91-01. UR. FI – INCO, 1991. |
| License: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Appears in Collections: | Reportes Técnicos - Instituto de Computación |
Files in This Item:
| File | Description | Size | Format | ||
|---|---|---|---|---|---|
| TR9101.pdf | 298,6 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
