619 search results - page 1 / 124 » The Design and Implementation of a Certifying Compiler |
PLDI
1998
ACM
13 years 9 months ago
1998
ACM
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
PEPM
1999
ACM
13 years 9 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...