english Icono del idioma   español Icono del idioma  

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.authorBove, Anaes
dc.contributor.authorArbilla, Lauraes
dc.date.accessioned2014-12-02T16:05:34Z-
dc.date.available2014-12-02T16:05:34Z-
dc.date.issued1991es
dc.date.submitted20141202es
dc.identifier.citationBOVE, A., ARBILLA, L. "A confluent calculus of macro expansion and evaluation". Reportes Técnicos 91-01. UR. FI – INCO, 1991.es
dc.identifier.issn0797-6410es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/3410-
dc.description.abstractSyntactic 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.extent36 p.es
dc.format.mimetypeapplication/pdfes
dc.languageines
dc.publisherUR. FI – INCO.es
dc.relation.ispartofReportes Técnicos 91-01es
dc.rightsLas 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.subjectMacroses
dc.subjectExplicit Substitutionses
dc.subjectRewriting Semanticses
dc.subjectProgramming Languageses
dc.subjectSubstituciones Explícitases
dc.subjectLenguajes de Programaciónes
dc.subjectSemánticaes
dc.titleA confluent calculus of macro expansion and evaluationes
dc.typeReporte técnicoes
dc.rights.licenceLicencia 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.pdf298,6 kBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons