Capture-avoiding program transformations with name-fix

Zusammenfassung
We present an algorithm called name-fix that automatically eliminates variable capture from a generated program by systematically renaming variables. namefix 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.
  • Vollständige Referenz
  • BibTeX
Erdweg, S., Storm, T. V. & Dai, Y., (2015). Capture-avoiding program transformations with name-fix. In: Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R. (Hrsg.), Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. (S. 93-94).
@inproceedings{mci/Erdweg2015,
author = {Erdweg, Sebastian AND Storm, Tijs Van Der AND Dai, Yi},
title = {Capture-avoiding program transformations with name-fix},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 93-94 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
93.pdf38.96Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-633-6
ISSN: 1617-5468
Datum: 2015
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige