For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Johann, P. ; Voigtländer, J.
The Impact of seq on Free Theorems-Based Program Transformations
Typ der Veröffentlichung
Zeitschriftenaufsatz
Veröffentlicht in
Fundamenta Informaticae
Schlagwörter
-
Jahrgang/Erscheinungsjahr
2006
Vermerk
keiner
Band/Vol.
69 (1-2)
Seiten
63-102
Referiert
Nein
Open Access
Ja
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
  • Elimination von Zwischenergebnissen in funktionalen Programmen
Berichtsjahr
2006
Export
Stand: 12.10.2017 16:02 Uhr