53 search results - page 1 / 11 » Certificate Translation in Abstract Interpretation |
61
Voted
ESOP
2008
Springer
15 years 21 days ago
2008
Springer
118
Voted
ICFEM
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
179
Voted
POPL
2004
ACM
15 years 11 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...
103
Voted
BIOINFORMATICS
2012
13 years 1 months ago
2012
d Abstract) Leonid Chindelevitch1 , Daniel Ziemek1, , Ahmed Enayetallah2 , Ranjit Randhawa1 , Ben Sidders3 , Christoph Brockel4 , and Enoch Huang1 1 Computational Sciences Center o...
FM
2009
Springer
15 years 5 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...