2011•HAL (Le Centre pour la Communication Scientifique Directe)Requires access
Formally verifying a compiler: Why? How? How far?
Xavier Leroy
Open publisher page 1 citations
Abstract
International audience
Xavier Leroy
Abstract
International audience
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
International audience
Key concepts: Computer science, Compiler, Programming language, Executable, Interprocedural optimization, Compiler correctness, Dead code elimination, Optimizing compiler