Abstract | ||
---|---|---|
Certificate translation is a general mechanism to transfer evidence across abstraction layers, from source code to executable
code. We review the general principles behind certificate translation and the main results achieved so far, and outline directions
for future work.
|
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-15640-3_2 | Trustworthy Global Computing |
Keywords | Field | DocType |
main result,general mechanism,future work,general principle,abstraction layer,source code,certificate translation | Programming language,Abstraction,Abstract interpretation,Computer science,Source code,Theoretical computer science,Symbolic execution,Proof obligation,Executable,Certificate | Conference |
Volume | ISSN | ISBN |
6084 | 0302-9743 | 3-642-15639-8 |
Citations | PageRank | References |
0 | 0.34 | 17 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gilles Barthe | 1 | 2337 | 152.36 |
César Kunz | 2 | 167 | 10.81 |