Abstract | ||
---|---|---|
Whether programming in a high-level modeling language providing automatic code generation, in a formally-verifiable language, in a language with advanced static analysis tools, or directly in a normal third-generation programming language, we ultimately depend on a compiler to generate the actual machine code that is executed by the target machine. This panel will discuss the issue of how we build trust in our compilers, using a commercial test suite, a standardized test suite, or a formal verification process.
|
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2402676.2402708 | HILT |
Keywords | Field | DocType |
Ada conformity assessment,compcert,compiler validation suite,formal verification of compilers | Object code,Functional compiler,Programming language,Dynamic compilation,Computer science,Compiler correctness,Compiler,Code generation,Compiler construction,Low-level programming language | Conference |
Volume | Issue | ISSN |
32 | 3 | 1094-3641 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lennart Beringer | 1 | 240 | 19.14 |
Randall Brukardt | 2 | 3 | 1.02 |
Thomas Plum | 3 | 0 | 0.34 |
S. Tucker Taft | 4 | 50 | 14.12 |