Publikationen
For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.
The impact of seq on Free Theorems-Based Program Transformations
Typ der Veröffentlichung
Zeitschriftenaufsatz
Veröffentlicht in
Fundamenta Informaticae
Jahrgang/Erscheinungsjahr
2005
Vermerk
Neuerscheinung
Referiert
Nein
Zugeordnete Forschungsschwerpunkte
- Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
- Elimination von Zwischenergebnissen in funktionalen Programmen
Berichtsjahr
2005
Export
Stand: 26.10.2020 10:29 Uhr