A Formally Verified Compiler Back-end

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 67

Record: found
Abstract: not found
Conference Proceedings: not found

Proof-carrying code

George C. Necula (1997)

0 comments Cited 65 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Resources, concurrency, and local reasoning

Peter O’Hearn (2007)

0 comments Cited 57 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

George C. Necula, Scott McPeak, Shree P. Rahul … (2002)

0 comments Cited 55 times – based on 0 reviews

Bookmark

All references

Author and article information

Journal

Title: Journal of Automated Reasoning

Abbreviated Title: J Autom Reasoning

Publisher: Springer Science and Business Media LLC

ISSN (Print): 0168-7433

ISSN (Electronic): 1573-0670

Publication date Created: December 2009

Publication date (Electronic): November 4 2009

Publication date (Print): December 2009

Volume: 43

Issue: 4

Pages: 363-446

Article

DOI: 10.1007/s10817-009-9155-4

SO-VID: 3bd2774d-2dfb-4a25-9aee-3ecf9c8e9f49

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.