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

Voigtländer, J. ; Johann, P.
Selective Strictness and Parametricity in Structural Operational Semantics
Typ der Veröffentlichung
Technischer Bericht
Veröffentlicht in
Technical Report TUD-FI06-02, Technische Universität Dresden
Schlagwörter
-
Jahrgang/Erscheinungsjahr
2006
Vermerk
keiner
Referiert
Nein
Open Access
Ja
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
  • Elimination von Zwischenergebnissen in funktionalen Programmen
Berichtsjahr
2006
Export
Stand: 18.06.2018 10:15 Uhr