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)

Related topics

Related topics

9 relations
CompCertCompilerCorrectness (computer science)Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless… 
Review
2005
Review
2005
Dealing with I/O devices in the context of pervasive system verification
Device drivers can be tested and debugged much better with techniques from the field of formal verification than with classical… 
1999
1999
Towards Rigorous Compiler Implementation Verification
This paper sketches a rigorous correctness proof of a compiler executable. We will emphasize the central role of partial program… 
1998
1998
Mechanical verification of compiler correctness
A large investment is made in the development, testing, validation and veri cation of source code for critical applications. But… 
1996
1996
Compiler Correctness for Concurrent Languages
The goal of my thesis is to extend current methods for compiler derivation and verification to languages which exhibit true… 
1994
1994
Proving WAM compiler correctness
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
Occam: Specification and Compiler Correctness - Part I: The Primary Model
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness… 
1993
1993
Compiler Correctness and Input/Output
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 using interpretation between theories (semantics, data type, verification)
An approach to compiler correctness verification is proposed and research that investigates the mathematical framework and… 
Highly Cited
1980
Highly Cited
1980
A constructive approach to compiler correctness
  • Peter D. Mosses
  • Semantics-Directed Compiler Generation
  • 1980
  • Corpus ID: 41695715
It is suggested that denotational semantic definitions of programming languages should be based on a small number of abstract… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)