- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2017
- Keyword
-
Programs
Semantics
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2018
- Creator
-
Chen, Yan
- Contributor
-
Acar, Umut
- URN
-
urn:nbn:de:hbz:386-kluedo-54175
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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
- Chen, Yan
- Acar, Umut
- Technische Universität Kaiserslautern
Time of origin
- 2018
Other Objects (12)
Functional computation as concurrent computation
Functional computation as concurrent computation
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Monadic fusion of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation
Local normalization of functional programs
The σ-semantics for functional programs
Parallelizing functional programs by term rewriting
Functional computation as concurrent computation
Functional computation as concurrent computation
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Monadic fusion of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation
Local normalization of functional programs
The σ-semantics for functional programs
Parallelizing functional programs by term rewriting
Functional computation as concurrent computation
Functional computation as concurrent computation
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Monadic fusion of functional programs
Reasoning about terminating functional programs
Dynamic compilation for functional programs
Slicing functional programs by calculation
Local normalization of functional programs
The σ-semantics for functional programs