A Formally Verified Compiler Back-end
Work
Year: 2009
Type: article
Source: Journal of Automated Reasoning
Author Xavier Leroy
Cites: 100
Cited by: 454
Related to: 10
FWCI: 31.99
Citation percentile (by year/subfield): 100
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed