- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
173 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 1999
- Schlagwort
-
Funktional-logische Programmiersprache
Programmanalyse
Programmtransformation
Funktionale Semantik
Deklarative Semantik
Operationale Semantik
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:45 MESZ
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
Ähnliche Objekte (12)
Funktional-logische Programmiersprachen : Semantik und Implementierung
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Eine verifizierte Implementierung funktional-logischer Programmiersprachen
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Eine abstrakte Maschine für das logisch-funktionale Programmieren
Untersuchung von Strategien für das logisch-funktionale Programmieren
Metaebenen-Architekturen logischer Programme
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
Automatische Komplexitätsanalyse funktionaler Programme
Funktional-logische Programmiersprachen : Semantik und Implementierung
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Eine verifizierte Implementierung funktional-logischer Programmiersprachen
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Eine abstrakte Maschine für das logisch-funktionale Programmieren
Untersuchung von Strategien für das logisch-funktionale Programmieren
Metaebenen-Architekturen logischer Programme
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
Automatische Komplexitätsanalyse funktionaler Programme
Funktional-logische Programmiersprachen : Semantik und Implementierung
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Eine verifizierte Implementierung funktional-logischer Programmiersprachen
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Eine abstrakte Maschine für das logisch-funktionale Programmieren
Untersuchung von Strategien für das logisch-funktionale Programmieren
Metaebenen-Architekturen logischer Programme
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET