Axel Dold. Formal Software Development using Generic Development Steps. Logos-Verlag, Berlin, 2000. Dissertation, Universitat Ulm. @ NUS Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Compiler Implementation Verification and Trojan Horses.. - Goerigk, Langmaack (2000) (1 citation) (Correct)
....High level compiler implementation veri cation (step 2) is a eld within software engineering. Correct implementation rules have been worked out in many formal software engineering methods and projects like VDM [25] RAISE [12] CIP [2, 36] PROSPECTRA [23] Z [42] B [1] and also the PVS system [10]. Literature on low and machine level compiler implementation veri cation (step 3) is by far too sparse. There are only demands by some researchers like Ken Thompson [43] L.M. Chirica and D.F. Martin [6] and J S. Moore [31] no convincing realistic methods. Here is the most serious logical gap ....
Axel Dold. Formal Software Development using Generic Development Steps. Logos-Verlag, Berlin, 2000. Dissertation, Universitat Ulm.
Will Informatics be able to Justify the Construction of.. - Goerigk, Langmaack (2001) (1 citation) (Correct)
.... Correct implementation rules have been worked out in many formal software engineering methods and projects like VDM [Jon90] RAISE [GHH 92] CIP 30 7 THE RISK OF NEGLECTING MACHINE LEVEL VERIFICATION [Bau78, Par90] PROSPECTRA [HKB93] Z [Spi92] B [ALN 91] and also the PVSsystem [Dol00] Literature on low and machine level compiler implementation veri cation (step 3) is by far too sparse. There are only demands by some researchers like Ken Thompson [Tho84] L.M. Chirica and D.F. Martin [CM86] and J S. Moore [Moo88, Moo96] no convincing realistic methods. Here is the most ....
Axel Dold. Formal Software Development using Generic Development Steps. LogosVerlag, Berlin, 2000. Dissertation, Universitat Ulm.
A Mechanically Verified Compiling Specification for a Lisp.. - Dold, Vialard (2001) (3 citations) Self-citation (Dold) (Correct)
No context found.
Axel Dold. Formal Software Development using Generic Development Steps. Logos-Verlag, Berlin, 2000. Dissertation, Universitat Ulm.
A Mechanically Verified Compiling Specification for.. - Dold, von Henke.. (2002) (3 citations) Self-citation (Dold) (Correct)
No context found.
Axel Dold. Formal Software Development using Generic Development Steps. Logos-Verlag, Berlin, 2000. PhD Thesis, University of Ulm, Germany.
Formal Software Development using Generic Development Steps - Axel Dold Fakultat (1999) (2 citations) Self-citation (Dold) (Correct)
.... the derivation of an interpreter for Prolog, the implementation of a compiler symbol table, and as a larger case study: the construction of a compiler program from a given compiling specification specifying the translation of a Common Lisp like language into a stack intermediate language (see [4]) An excerpt from a formal derivation example will be presented in this talk. 1 ....
Axel Dold. Formal Software Development using Generic Development Step. PhD thesis, Universitat Ulm, Fakultat fur Informatik, 1999. to appear.
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.