Programlama Dillerinin Biçimsel Semantiği

Programlama dilleri teorisinde yeniyim ve programlama dillerinin biçimsel semantiği için bir kaynak üzerinde iyi bir kaynak arıyorum. Özellikle yapısal operasyonel semantik aramak. Kitap önerileri aldım. Ama daha tanıtım seviyesinde bir kaynak arıyorum. Özellikle eğiticiler, web sitesi ve ücretsiz kitap önerileri memnuniyetle karşılanmaktadır.

Üniversitemdeki operasyonel semantik kursuna bakmak şu üçü verir:

• Andrew Pitts'in ders notları
• Gordon Plotkin'den Aarhus yapısal operasyonel anlambilim üzerine notlar
• Matthew Hennessey Programlama Dillerinin Anlambilimi

Ohad.

Yapısal işlemsel anlambilim (SOS) çok genel bir kavramdır. Bu aslında yapılandırmalar (genellikle programlar artı durum veya kullanılabilir devamlar gibi bir bağlam) veya etiketli anlambilim durumunda, yapılandırmalar, eylemler (belirli minimum bağlamları temsil eden) ve yapılandırmalar arasındaki üçlü bir ilişkidir. "Yapısal" bit genellikle bu ilişkilerin ilgili sözdizimi üzerinde endüktif olarak tanımlanmasıdır (örneğin konfigürasyonlar ve eylemler).

Bu nedenle, başka bir gereklilik olmaksızın, SOS'ta düşündüğümüz matematiksel varlıklar kendi başlarına ilginç / izlenebilir olamayacak kadar geneldir.

SOS, zamanlanmış hesap için eşdeğerlikler, indirgemelere karşılık gelen asenkron ortam hesabı için etiketli geçişler veya belirli (sınıf sınıfları) hesaplarının ifadesi hakkındaki sorular incelendiğinde ilginç ve önemli hale gelir.

Bu yüzden Bay / Bayan Systemsfault için tavsiyem, genelleri atlamak ve doğrudan ilgili özel hesaplara atlamak. Genel SOS teknikleri yol boyunca kolayca alınabilir.

Bu indirilebilir kitapta Bölüm 2'yi okumanızı tavsiye ederim:

Uygulamalarla Anlambilim: Resmi Bir Giriş, Hanne Riis Nielson ve Flemming Nielson, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html