"Formal semantics for multi-language programs" by Amal Ahmed

Neden izlemeli?

Çok-dilli programların resmi semantiği üzerine akademik/teorik bir sunum; farklı dil ortamları arasındaki etkileşimin doğru modellemesini ele alıyor. İzlemeli: Programlama dilleri, derleyici veya sistem tasarımıyla ilgilenen bilgisayar bilimcileri ve araştırmacılar; çok-dilli sistemlerin doğruluğu ve güvenliği konusunda kavramsal yapı kazanırlar.