Technical Report
Frisco F- Eine funktionale, logische und algebraische Spezifikationssprache
Author(s): Christian Lesny, Franz Huber, Bernhard Rumpe
Year: 1999
Number: TUM-I9901
Editor:
CR Classification: D.2
CR General Terms: Languages, Theory
Keywords: Specification, Gofer, Algebraic Spec.
Abstract:Im Rahmen Projekts SysLab/AutoFocus soll die funktionale Programmiersprache Gofer
als Basissprache für die Definition von
Prädikaten genutzt werden. Insbesondere
die in Gofer sehr komfortabel verwendbaren Pattern und die zur Verfügung
stehenden
Listen sollen dazu genutzt werden in den von AutoFocus benutzten
Beschreibungstechniken Bedingungen zu formulieren. Dafü ist
aber Gofer an
einigen Stellen zu adaptieren.
In dieser Diplomarbeit soll die Adaptierung
der Sprache Gofer, vor allen an drei Bereichen vorgenommen werden. Zum einen
soll
die Sensitivität bzgl. Einrückung ersetzt werden. Zum zweiten werden
einige komplexere Konzepte vereinfacht, wie z.B. das
Typsystem. Zum dritten
sollen spezifikatorische Konzepte, wie Quantoren und die Definition von
prädikatenlogischen Ausdrücken
als Aufsatz entstehen.
Es sollen die Sprache
"Frisco F", der zugehörige abstrakte Syntaxbaum, ein Parser und ein
Kontextchecker entwickelt werden.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{LRH99,
author = {Christian Lesny and Franz Huber and Bernhard Rumpe},
title = {Frisco F- Eine funktionale, logische und algebraische Spezifikationssprache},
number = {TUM-I9901},
institution = {Technische Univerit\"at M\"unchen},
year = {1999},
url = {http://www4.informatik.tu-muenchen.de/reports/LRH99.html},
abstract = {Im Rahmen Projekts SysLab/AutoFocus soll die funktionale Programmiersprache Gofer
als Basissprache für die Definition von
Prädikaten genutzt werden. Insbesondere
die in Gofer sehr komfortabel verwendbaren Pattern und die zur Verfügung
stehenden
Listen sollen dazu genutzt werden in den von AutoFocus benutzten
Beschreibungstechniken Bedingungen zu formulieren. Dafü ist
aber Gofer an
einigen Stellen zu adaptieren.
In dieser Diplomarbeit soll die Adaptierung
der Sprache Gofer, vor allen an drei Bereichen vorgenommen werden. Zum einen
soll
die Sensitivität bzgl. Einrückung ersetzt werden. Zum zweiten werden
einige komplexere Konzepte vereinfacht, wie z.B. das
Typsystem. Zum dritten
sollen spezifikatorische Konzepte, wie Quantoren und die Definition von
prädikatenlogischen Ausdrücken
als Aufsatz entstehen.
Es sollen die Sprache
"Frisco F", der zugehörige abstrakte Syntaxbaum, ein Parser und ein
Kontextchecker entwickelt werden.},
CRClassification = {D.2},
CRGenTerms = {Languages, Theory}}
]]>