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

Johann, P. ; Voigtländer, J.
Free Theorems in the Presence of seq
Herausgeber
  • Neil D. Jones and Xavier Leroy
Typ der Veröffentlichung
Zeitschriftenaufsatz
Veröffentlicht in
31st Symposium on Principles of Programming Languages - POPL'04, Venice, Italy, Proceedings
Schlagwörter
-
Verlag
ACM Press
Jahrgang/Erscheinungsjahr
2004
Reihe
SIGPLAN Notices
Band/Vol.
39
Seiten
99-110
Referiert
Ja
Open Access
Ja
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
  • Elimination von Zwischenergebnissen in funktionalen Programmen
Berichtsjahr
2004
Export
Stand: 12.10.2017 16:02 Uhr