Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
- Alternative title
-
Analysing equivalence of expressions in a non-strict functional programming language
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Frankfurt am Main, Johann Wolfgang Goethe-Univ., Diplomarbeit, 1999
- Classification
-
Mathematik
- Keyword
-
Lambda-Kalkül
Programmverifikation
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
1999
- Creator
-
Mann, Matthias
- Contributor
-
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-25509
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 PM 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.
Associated
- Mann, Matthias
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 1999
Other Objects (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