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… (More)
Wikipedia

Related topics

Related topics

9 relations
CompCertCompilerCorrectness (computer science)Formal methods
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Realizability and Compositional Compiler Correctness for a Polymorphic Language
We construct operationally-based realizability relations between phrases in a language with both universal and existential types… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2009
2009
Syntactic Proofs of Compositional Compiler Correctness
Semantic preservation by compilers for higher-order languages can be verified using simple syntactic methods. At the heart of… (More)
Is this relevant?
2002
2002
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness
The theory of relative program correctness and its preservation allows for elaborate and practically adequate definitions of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
Compiler Correctness using Algebraic Operational Semantics
Many attempts at establishing the correctness of compilation have used the method introduced in Morris [1973], subsequent to its… (More)
  • figure 1
  • figure 3
Is this relevant?
1997
1997
A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras
The well-known static link technique is used for stack-based implementations of imperative programming languages which admit… (More)
Is this relevant?
1996
1996
Verification of Compiler Correctness for the WAM
Relying on a derivation of the Warren Abstract Machine WAM by stepwise re nement of Prolog models by B orger and Rosen zweig we… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The WAM - Definition and Compiler Correctness
This paper provides a mathematical analysis of the Warren Abstract Machine for executing Prolog and a correctness proof for a… (More)
Is this relevant?
1994
1994
On Observational Equivalence and Compiler Correctness
We study the problem of giving proofs of compiler correctness in the framework of observational equivalence 16] and… (More)
Is this relevant?
Highly Cited
1973
Highly Cited
1973
Advice on Structuring Compilers and Proving Them Correct
The purpose of this paper is to advise an approach (and to support that advice by discussion of an example) towards achieving a… (More)
Is this relevant?