5
Bukti kebenaran kompiler
Saya mencari materi tutorial yang mencakup bukti kebenaran kompiler, lebih disukai menggunakan metode denotasi, pada tingkat siswa lulusan awal. Atau, apakah Anda tahu beberapa contoh kompiler sederhana yang dapat saya gunakan untuk menggambarkan masalah? (Contoh pertama yang terpikir oleh saya adalah penerjemah dari infix ke ekspresi postfix. Tetapi gagal menunjukkan …