Logo
User: Guest  Login
Autor:
Kempf, Peter; Schmidt, Gunther; Winter, Michael 
Titel:
Konstruktion induktiv geordneter Modelle aus algebraischen Spezifikationen 
Verlegende Stelle:
Universität der Bundeswehr München, Fakultät für Informatik 
Report-Nummer:
1998-04 
Jahr, Monat:
1998-09 
Abstract:
Bei theoretischen Untersuchungen zur Softwareentwicklung werden unter anderem Interpretationsmittel für Funktionen höherer Ordnung und algebraische Spezifikationen benötigt. Zur semantischen Beschreibung von Funktionen höherer Ordnung verwendet man Konstrukte wie algebraische cpos. Algebraische Spezifikationen werden mit Hilfe der Termalgebra und einer Kongruenz, die durch die Gesetze induziert wird, interpretiert. Will man nun semantische Bereiche direkt aus algebraischen Spezifikationen gewinn...    »