Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3410
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Bove, Ana | es |
dc.contributor.author | Arbilla, Laura | es |
dc.date.accessioned | 2014-12-02T16:05:34Z | - |
dc.date.available | 2014-12-02T16:05:34Z | - |
dc.date.issued | 1991 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | BOVE, A., ARBILLA, L. "A confluent calculus of macro expansion and evaluation". Reportes Técnicos 91-01. UR. FI – INCO, 1991. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3410 | - |
dc.description.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. | es |
dc.format.extent | 36 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | in | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 91-01 | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | Macros | es |
dc.subject | Explicit Substitutions | es |
dc.subject | Rewriting Semantics | es |
dc.subject | Programming Languages | es |
dc.subject | Substituciones Explícitas | es |
dc.subject | Lenguajes de Programación | es |
dc.subject | Semántica | es |
dc.title | A confluent calculus of macro expansion and evaluation | es |
dc.type | Reporte técnico | es |
dc.rights.licence | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | es |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR9101.pdf | 298,6 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons