Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
- Weitere Titel
-
Analysing equivalence of expressions in a non-strict functional programming language
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Frankfurt am Main, Johann Wolfgang Goethe-Univ., Diplomarbeit, 1999
- Klassifikation
-
Mathematik
- Schlagwort
-
Lambda-Kalkül
Programmverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Univ.-Bibliothek Frankfurt am Main
- (wann)
-
1999
- Urheber
-
Mann, Matthias
- Beteiligte Personen und Organisationen
-
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-25509
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 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
- Mann, Matthias
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Entstanden
- 1999
Ähnliche Objekte (12)
Gruppen: Ein Ansatz zur Vereinheitlichung von Namensbindung und Modularisierung in strikten funktionalen Programmiersprachen (Langfassung)
Striktheits-Analyse mittels abstrakter Reduktion für den Sprachkern einer nicht-strikten funktionalen Programmiersprache
Implementierung von funktionalen und logischen Programmiersprachen
Haltung der strikten Residenz
Darstellung von strikt quadratpositiven linearen Funktionalen auf endlichdimensionalen Polynomräumen
Absolution vom Klosterjahr und der strikten Residenz
Eine neue Finanzverfassung zur Wiederherstellung eines strikten Konnexitätsprinzips?
Ermahnung zur strikten Einhaltung des Verbotes der nächtlichen Musiken.
![Catechismus der str[ikten] Ob[servanz] von 1764](https://iiif.deutsche-digitale-bibliothek.de/image/2/cd94caa6-7b1b-4487-842b-b23b84e3eb69/full/!306,450/0/default.jpg)
Catechismus der str[ikten] Ob[servanz] von 1764
Grundsteinlegung der Franziskanerkirche der strikten Observanz St. Ägidius in Hadamar
Ein Tagebuch im strikten Sinn des Wortes : Neuguinea 1914 - 1918
Ein Tagebuch im strikten Sinn des Wortes : Neuguinea 1914 - 1918
Gruppen: Ein Ansatz zur Vereinheitlichung von Namensbindung und Modularisierung in strikten funktionalen Programmiersprachen (Langfassung)
Striktheits-Analyse mittels abstrakter Reduktion für den Sprachkern einer nicht-strikten funktionalen Programmiersprache
Implementierung von funktionalen und logischen Programmiersprachen
Haltung der strikten Residenz
Darstellung von strikt quadratpositiven linearen Funktionalen auf endlichdimensionalen Polynomräumen
Absolution vom Klosterjahr und der strikten Residenz
Eine neue Finanzverfassung zur Wiederherstellung eines strikten Konnexitätsprinzips?
Ermahnung zur strikten Einhaltung des Verbotes der nächtlichen Musiken.
Catechismus der str[ikten] Ob[servanz] von 1764
Grundsteinlegung der Franziskanerkirche der strikten Observanz St. Ägidius in Hadamar
Ein Tagebuch im strikten Sinn des Wortes : Neuguinea 1914 - 1918
Ein Tagebuch im strikten Sinn des Wortes : Neuguinea 1914 - 1918
Gruppen: Ein Ansatz zur Vereinheitlichung von Namensbindung und Modularisierung in strikten funktionalen Programmiersprachen (Langfassung)
Striktheits-Analyse mittels abstrakter Reduktion für den Sprachkern einer nicht-strikten funktionalen Programmiersprache
Implementierung von funktionalen und logischen Programmiersprachen
Haltung der strikten Residenz
Darstellung von strikt quadratpositiven linearen Funktionalen auf endlichdimensionalen Polynomräumen
Absolution vom Klosterjahr und der strikten Residenz
Eine neue Finanzverfassung zur Wiederherstellung eines strikten Konnexitätsprinzips?
Ermahnung zur strikten Einhaltung des Verbotes der nächtlichen Musiken.
Catechismus der str[ikten] Ob[servanz] von 1764
Grundsteinlegung der Franziskanerkirche der strikten Observanz St. Ägidius in Hadamar
Ein Tagebuch im strikten Sinn des Wortes : Neuguinea 1914 - 1918