Skip to search formSkip to main contentSkip to account menu

Compiler correctness

In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless… 
Review
2005
Review
2005
Device drivers can be tested and debugged much better with techniques from the field of formal verification than with classical… 
1999
1999
This paper sketches a rigorous correctness proof of a compiler executable. We will emphasize the central role of partial program… 
1998
1998
A large investment is made in the development, testing, validation and veri cation of source code for critical applications. But… 
1996
1996
The goal of my thesis is to extend current methods for compiler derivation and verification to languages which exhibit true… 
1994
1994
In this note we analyse the proof of compiler correctness of the WAM given in the paper BB orger and Rosenzweig 92] with regard… 
1994
1994
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness… 
1993
1993
We describe the formal machine-checked verification of a compiler from a subset of the Vista structured assembly language to the… 
1986
1986
An approach to compiler correctness verification is proposed and research that investigates the mathematical framework and… 
Highly Cited
1980
Highly Cited
1980
  • Peter D. Mosses
  • 1980
  • Corpus ID: 41695715
It is suggested that denotational semantic definitions of programming languages should be based on a small number of abstract…