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.

2011

2009

We define operational logical relations between terms of a polymorphically typed functional language and low-level programs for a…

2003

PERMITTED USES. This material may be accessed as downloaded onto electronic , magnetic, optical or similar storage media provided…

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

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…

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…