Frisco F - Eine funktionale, logische und algebraische Spezifikationssprache

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 Typklassen - Strikte Semantik und keine unendlichen Datenstrukturen - Definition von Axiomen durch praedikatenlogische Ausdruecke - Implementierung des Parsers einschliesslich der Typinferenz Der Ausgangspunkt der Entwicklung der Sprache "Frisco F" war die mangelnde Verfuegbarkeit einer geeigneten textuellen Sprache als Ergaenzung zu graphischen Beschreibungstechniken. Die in diesem Bericht beschriebene Arbeit dient zur Integration mit weiteren Komponenten von Frisco, die eine graphische Entwicklungsumgebung zu realisieren.     «

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...     »