Hochschulschrift
Eine verifizierte Implementierung funktional-logischer Programmiersprachen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826514562
3826514564
- Dimensions
-
21 cm
- Extent
-
152 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
Zugl.: München, Univ., Diss., 1996
- Keyword
-
Funktional-logische Programmiersprache
Implementierung
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:50 AM 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.
Object type
- Hochschulschrift
Associated
- Mück, Andreas
- Shaker
Time of origin
- 1996
Other Objects (12)
Implementierung von funktionalen und logischen Programmiersprachen
Funktional-logische Programmiersprachen : Semantik und Implementierung
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Parallele Implementierung funktionaler Programmiersprachen
Parallele Implementierung funktionaler Programmiersprachen
Parallele Implementierung funktionaler Programmiersprachen
Untersuchung von Strategien für das logisch-funktionale Programmieren
Anbindung von Entwurfsdatenbanken an objektorientierte Programmiersprachen
Implementierung einer parallelen funktionalen Sprache mit algorithmischen Skeletten zur Lösung mathematisch-technischer Probleme
Natürliche Semantik für imperative und objektorientierte Programmiersprachen
Ein datengesteuertes Ausführungsmodell für Programmiersprachen mit mehrfacher Wertzuweisung
Implementierung von funktionalen und logischen Programmiersprachen
Funktional-logische Programmiersprachen : Semantik und Implementierung
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Parallele Implementierung funktionaler Programmiersprachen
Parallele Implementierung funktionaler Programmiersprachen
Parallele Implementierung funktionaler Programmiersprachen
Untersuchung von Strategien für das logisch-funktionale Programmieren
Anbindung von Entwurfsdatenbanken an objektorientierte Programmiersprachen
Implementierung einer parallelen funktionalen Sprache mit algorithmischen Skeletten zur Lösung mathematisch-technischer Probleme
Natürliche Semantik für imperative und objektorientierte Programmiersprachen
Ein datengesteuertes Ausführungsmodell für Programmiersprachen mit mehrfacher Wertzuweisung
Implementierung von funktionalen und logischen Programmiersprachen
Funktional-logische Programmiersprachen : Semantik und Implementierung
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Parallele Implementierung funktionaler Programmiersprachen
Parallele Implementierung funktionaler Programmiersprachen
Parallele Implementierung funktionaler Programmiersprachen
Untersuchung von Strategien für das logisch-funktionale Programmieren
Anbindung von Entwurfsdatenbanken an objektorientierte Programmiersprachen
Implementierung einer parallelen funktionalen Sprache mit algorithmischen Skeletten zur Lösung mathematisch-technischer Probleme
Natürliche Semantik für imperative und objektorientierte Programmiersprachen