Capture-Avoiding Program Transformations with name-fix
Erdweg, Sebastian
1; Storm, Tijs van der; Dai, Yi
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
1; Storm, Tijs van der; Dai, Yi1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
Abstract (englisch):
We present an algorithm called name-fix that automatically eliminates variable capture from a generated program by systematically renaming variables. name-fix is guided by a graph representation of the binding structure of a program, and requires name-resolution algorithms for the source language and the target language of a transformation. name-fix is generic and works for arbitrary transformations in any transformation system that supports origin tracking for names.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-8857-9633-6 ISSN: 1617-5468 KITopen-ID: 1000188555 |
| Erschienen in | Software Engineering & Management 2015 : Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW; Dresden, Deutschland, 17.-20.03.2015 |
| Veranstaltung | Software Engineering & Management: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW (2015), Dresden, Deutschland, 17.03.2015 – 20.03.2015 |
| Verlag | Gesellschaft für Informatik (GI) |
| Seiten | S. 93–94 |
| Serie | Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) ; P-239 |
| Schlagwörter | Graph representation; Name resolution; Program transformations; Resolution algorithms; Source language; Target language; Transformation systems |
| Nachgewiesen in | Scopus |