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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
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
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
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
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
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
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
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
An improved photoelectrophoretic imaging method is disclosed wherein a blocking layer is provided with a coating which interacts… Expand
Is this relevant?
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… Expand
Is this relevant?
1992
1992
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?