Semantic Scholar Open Access 2006 844 sitasi

Formal certification of a compiler back-end or: programming a compiler with a proof assistant

X. Leroy

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

X. Leroy

Format Sitasi

APA MLA BibTeX

Leroy, X. (2006). Formal certification of a compiler back-end or: programming a compiler with a proof assistant. https://doi.org/10.1145/1111037.1111042

Akses Cepat

Lihat di Sumber doi.org/10.1145/1111037.1111042

Informasi Jurnal

Tahun Terbit: 2006
Bahasa: en
Total Sitasi: 844×
Sumber Database: Semantic Scholar
DOI: 10.1145/1111037.1111042
Akses: Open Access ✓