Ditapis dengan
Ditemukan 1 dari pencarian Anda melalui kata kunci: author="Peter Muller"
E-book Programming Languages and Systems
Compiler correctness is an old idea [37,40,41] that has seen a significant revival in re-cent times. This new wave was started by the creation of the CompCert verified C com-piler [33] and continued by the proposal of many significant extensions and variants ofCompCert [8,9,12,23,29,30,42,52,56,57,61] and the success of many other mile-stone compiler verification projects, including Vellvm [64]…
- Edisi
- -
- ISBN/ISSN
- 9783030449148
- Deskripsi Fisik
- 785 hlm
- Judul Seri
- -
- No. Panggil
- 005.13 PET p
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah