Compiler verification: a bibliography
MA Dave - ACM SIGSOFT Software Engineering Notes, 2003 - dl.acm.org
The area of software verification has grown its importance in software engineering. This is a
bibliography of verification of a specialized class of softwares called compiler. The citations …
bibliography of verification of a specialized class of softwares called compiler. The citations …
Compiler verification in the context of pervasive system verification
DC Leinenbach - 2008 - publikationen.sulb.uni-saarland.de
This thesis presents the formal verification of the compiling specification for a simple, non-
optimizing compiler from the C-like programming language C0 to VAMP assembly code. The …
optimizing compiler from the C-like programming language C0 to VAMP assembly code. The …
A mechanically verified compiling specification for a Lisp compiler
A Dold, V Vialard - International Conference on Foundations of Software …, 2001 - Springer
We report on an ongoing effort in mechanically proving correct a compiling specification for
a bootstrap compiler from ComLisp (a subset of ANSI Common Lisp sufficiently expressive …
a bootstrap compiler from ComLisp (a subset of ANSI Common Lisp sufficiently expressive …
A mechanically verified compiling specification for a realistic compiler
A Dold, FW Henke, V Vialard, W Goerigk - 2005 - oparu.uni-ulm.de
We report on a large verification effort in constructing an initial fully trusted bootstrap
compiler executable for a realistic system programming language and real target processor …
compiler executable for a realistic system programming language and real target processor …
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die …
H Langmaack - Electronic Notes in Theoretical Computer Science, 2005 - Elsevier
The article starts out from the observation that software engineering splits in two large
activity areas: Software specification with its verification and software implementation with its …
activity areas: Software specification with its verification and software implementation with its …
Design for reuse via structuring techniques for ASMs
E Börger - International Conference on Computer Aided Systems …, 2001 - Springer
Abstract Gurevich's [26] Abstract State Machines (ASMs), characterized by the parallel
execution of abstract atomic actions in a global state, have been equipped in [13] with a …
execution of abstract atomic actions in a global state, have been equipped in [13] with a …
[PDF][PDF] Design for Reuse via Ëtructuring Techniques for AËMs
E Biorger - pages.di.unipi.it
Gurevich's [26] Abstract State Machines (ASMs), characterized by the parallel execution of
abstract atomic actions in a global state, have been equipped in [13] with a refinement by …
abstract atomic actions in a global state, have been equipped in [13] with a refinement by …
Realistic correct systems implementation
W Goerigk - PROBLEMS IN PROGRAMMING, 2003 - pp.isofts.kiev.ua
The present article and the forthcoming second part on Trusted Compiler Implementation
address correct construction and functioning of large computer based systems. In view of so …
address correct construction and functioning of large computer based systems. In view of so …