A type system for certified binaries
Work
Year: 2002
Type: article
Abstract: A certified binary is a value together with a proof that the value satisfies a given specification. Existing compilers that generate certified code have focused on simple memory and control-flow safet... more
Institution Yale University
Cites: 42
Cited by: 75
Related to: 10
FWCI: 11.33
Citation percentile (by year/subfield): 87.83
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green