A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Programmierung, Spezifikation und Interaktives Beweisen
2002
Jahrestagung der Gesellschaft für Informatik
Diese Dissertation mit dem englischen Titel "Programming, Specification, and Interactive Theorem Proving -Towards a Unified Language based on Equational Logic, Rewriting Logic, and Type Theory" beschäftigt sich mit dem Problem der Inflation von Formalismen in der Informatik im Kontext eines Spektrums formaler Methoden, das von Ausführung, über Analyse, bis zur formalen Verifikation reicht. Durch ihre Repräsentation in semantischen und logischen Rahmenwerken (semantic and logical frameworks),
dblp:conf/gi/Stehr02
fatcat:lcgf6urwd5hvxpheos6hyyezsq