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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
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
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
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
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
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
The well-known static link technique is used for stack-based implementations of imperative programming languages which admit… (More)
Is this relevant?
1996
1996
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
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
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
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?