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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2002

A user will perceive a compiler as correct if he or she cannot visibly distinguish between the behavior of a program interpreted…

1998

A large investment is made in the development, testing, validation and veri cation of source code for critical applications. But…

1998

Many attempts at establishing the correctness of compilation have used the method introduced in Morris [1973], subsequent to its…

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…

1994

We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…

1994

If computers are to behave correctly, it is important that the software for them be specified, developed, compiled, and executed…

1992

We sketch a methodology for the veriication of compiler correctness based on the LF Logical Framework as realized within the Elf…

1991

Two case studies in mechanized compiler specification correctness using the HOL System are presented. These case studies are the…

1986

An approach to compiler correctness verification is proposed and research that investigates the mathematical framework and…

1981

A simple algebra-based algorithm for compiler generation is described. Its input is a semantic definition of a programming…