- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
53 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 47 - 50
- Bibliographic citation
-
Technische Berichte / Technische Universität Dresden ; 2002,12
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
TU, Fak. Informatik
- (when)
-
2002
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:27 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Jürgensen, Claus
- TU, Fak. Informatik
Time of origin
- 2002
Other Objects (12)
Local normalization of functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Verification of second-order functional programs
Type inference based deforestation of functional programs
Mechanized verification of imperative and functional programs
Type inference based deforestation of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation
Normalization and Partial Evaluation of Functional Logic Programs
Local normalization of functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Verification of second-order functional programs
Type inference based deforestation of functional programs
Mechanized verification of imperative and functional programs
Type inference based deforestation of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation
Normalization and Partial Evaluation of Functional Logic Programs
Local normalization of functional programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Verification of second-order functional programs
Type inference based deforestation of functional programs
Mechanized verification of imperative and functional programs
Type inference based deforestation of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation