Hochschulschrift
Normalization and Partial Evaluation of Functional Logic Programs
- Weitere Titel
-
Normalisierung und partielle Auswertung von funktional-logischen Programmen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Christian-Albrechts-Universität, Dissertation, 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2017
- Urheber
- URN
-
urn:nbn:de:gbv:8-diss-211568
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Peemöller, Björn
- Universitätsbibliothek Kiel
Entstanden
- 2017
Ähnliche Objekte (12)
Normalization and Partial Evaluation of Functional Logic Programs
Local normalization of functional programs
From Logic to Functional Logic Programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Call pattern analysis for functional logic programs.
Expander : a system for testing and verifying functional logic programs
Termporal logic of programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
A logic for recursive programs
Normalization and Partial Evaluation of Functional Logic Programs
Local normalization of functional programs
From Logic to Functional Logic Programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Call pattern analysis for functional logic programs.
Expander : a system for testing and verifying functional logic programs
Termporal logic of programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
A logic for recursive programs
Normalization and Partial Evaluation of Functional Logic Programs
Local normalization of functional programs
From Logic to Functional Logic Programs
Implementing Functional Logic Programs by Translation into Purely Functional Programs
Call pattern analysis for functional logic programs.
Expander : a system for testing and verifying functional logic programs
Termporal logic of programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs