Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

9 relations
CompCertCompilerCorrectness (computer science)Formal methods
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The Correctness-Security Gap in Compiler Optimization
There is a significant body of work devoted to testing, verifying, and certifying the correctness of optimizing compilers. The… Expand
  • figure 1
Is this relevant?
Highly Cited
2015
Highly Cited
2015
Pilsner: a compositionally verified compiler for a higher-order imperative language
Compiler verification is essential for the construction of fully verified software, but most prior work (such as CompCert) has… Expand
  • figure 1
  • figure 2
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2015
Highly Cited
2015
Many-core compiler fuzzing
We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Biorthogonality, step-indexing and compiler correctness
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the… Expand
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A certified type-preserving compiler from lambda calculus to assembly language
We present a certified compiler from the simply-typed lambda calculus to assembly language. The compiler is certified in the… Expand
  • figure 5
Is this relevant?
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… Expand
Is this relevant?
1996
1996
Verification of Compiler Correctness for the WAM
Relying on an derivation of the Warren Abstract Machine (WAM) by stepwise refinement of Prolog models by Borger and Rosenzweig we… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The WAM - Definition and Compiler Correctness
An improved photoelectrophoretic imaging method is disclosed wherein a blocking layer is provided with a coating which interacts… Expand
Is this relevant?
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… Expand
Is this relevant?
1992
1992
Correctness proofs of compilers and debuggers : an approach based on structural operational semantics
In this thesis we study the use of semantics-based formal methods in the specification and proof of correctness of compilers and… Expand
  • figure 3
  • figure 4
  • figure 3
  • figure 3
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE