- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2017
- Schlagwort
-
Programs
Semantics
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2018
- Urheber
-
Chen, Yan
- Beteiligte Personen und Organisationen
-
Acar, Umut
- URN
-
urn:nbn:de:hbz:386-kluedo-54175
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Chen, Yan
- Acar, Umut
- Technische Universität Kaiserslautern
Entstanden
- 2018
Ähnliche Objekte (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