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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Compiler correctness is an old problem, with results stretching back beyond the last half-century. Founding the field, John… 
Highly Cited
2015
Highly Cited
2015
There is a significant body of work devoted to testing, verifying, and certifying the correctness of optimizing compilers. The… 
Highly Cited
2015
Highly Cited
2015
We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers… 
Highly Cited
2015
Highly Cited
2015
Compiler verification is essential for the construction of fully verified software, but most prior work (such as CompCert) has… 
Highly Cited
2009
Highly Cited
2009
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the… 
Highly Cited
2007
Highly Cited
2007
We present a certified compiler from the simply-typed lambda calculus to assembly language. The compiler is certified in the… 
1996
1996
Relying on an derivation of the Warren Abstract Machine (WAM) by stepwise refinement of Prolog models by Borger and Rosenzweig we… 
1996
1996
The goal of my thesis is to extend current methods for compiler derivation and verification to languages which exhibit true… 
Highly Cited
1995
Highly Cited
1995
This paper provides a mathematical analysis of the Warren Abstract Machine for executing Prolog and a correctness proof for a… 
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…