- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
173 S.
- Language
-
Deutsch
- Notes
-
Aachen, Techn. Hochsch., Diss., 1999
- Keyword
-
Funktional-logische Programmiersprache
Programmanalyse
Programmtransformation
Funktionale Semantik
Deklarative Semantik
Operationale Semantik
- 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.06.2025, 1:45 PM CEST
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.
Object type
- Hochschulschrift
Associated
Other Objects (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