Benutzer: Gast  Login
Titel:

Frisco F - Eine funktionale, logische und algebraische Spezifikationssprache

Dokumenttyp:
Technical Report
Autor(en):
Christian Lesny; Franz Huber; Bernhard Rumpe
Abstract:
In dem Bericht wird die Sprache "Frisco F" als Erweiterung der Programmiersprache Gofer um spezifikatorische Aspekte definiert und die Implementierung des Parsers beschrieben. Dies schliesst die kontextabhaengige Analyse, insbesondere die Typinferenz, mit ein. Die folgenden erreichten Ziele werden in diesem Bericht dokumentiert: - Definition der Sprache "Frisco F" mit Gofer und der algebraischen Spezifikationssprache "Spectrum" als Vorbild - Vereinfachung des Typsystems durch Weglassen von Typkl...     »
Stichworte:
Languages; Algebraische Spezifikation; Funktionale Programmierung; Gofer; Frisco
Jahr:
1999
Jahr / Monat:
1999-01-01 00:00:00
Seiten/Umfang:
111
 BibTeX