Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,078,550 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
CompCert
Compiler
Correctness (computer science)
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
On the Correctness of Operating System Kernels
M. Gargano
,
Mark A. Hillebrand
,
Dirk Leinenbach
,
W. Paul
International Conference on Theorem Proving in…
2005
Corpus ID: 13100398
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless…
Expand
Review
2005
Review
2005
Dealing with I/O devices in the context of pervasive system verification
Mark A. Hillebrand
,
Thomas In der Rieden
,
W. Paul
ICCD
2005
Corpus ID: 10765367
Device drivers can be tested and debugged much better with techniques from the field of formal verification than with classical…
Expand
1999
1999
Towards Rigorous Compiler Implementation Verification
W. Goerigk
,
F. Simon
Collaboration between Human and Artificial…
1999
Corpus ID: 15004779
This paper sketches a rigorous correctness proof of a compiler executable. We will emphasize the central role of partial program…
Expand
1998
1998
Mechanical verification of compiler correctness
D. Stringer-Calvert
1998
Corpus ID: 39157409
A large investment is made in the development, testing, validation and veri cation of source code for critical applications. But…
Expand
1996
1996
Compiler Correctness for Concurrent Languages
D. Gladstein
,
M. Wand
International Conference on Coordination Models…
1996
Corpus ID: 774930
The goal of my thesis is to extend current methods for compiler derivation and verification to languages which exhibit true…
Expand
1994
1994
Proving WAM compiler correctness
P. Schmitt
1994
Corpus ID: 59121569
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
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
1993
1993
Compiler Correctness and Input/Output
P. Curzon
1993
Corpus ID: 58668590
We describe the formal machine-checked verification of a compiler from a subset of the Vista structured assembly language to the…
Expand
1986
1986
An approach to compiler correctness using interpretation between theories (semantics, data type, verification)
B. Levy
1986
Corpus ID: 125525776
An approach to compiler correctness verification is proposed and research that investigates the mathematical framework and…
Expand
Highly Cited
1980
Highly Cited
1980
A constructive approach to compiler correctness
Peter D. Mosses
Semantics-Directed Compiler Generation
1980
Corpus ID: 41695715
It is suggested that denotational semantic definitions of programming languages should be based on a small number of abstract…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE