Semantik Resmi Bahasa Pemrograman

Saya baru mengenal teori bahasa pemrograman dan saya mencari sumber daya yang bagus tentang sumber daya untuk semantik formal bahasa pemrograman. Secara khusus mencari semantik operasional struktural. Saya mendapat beberapa rekomendasi buku. Tapi saya mencari sumber daya di tingkat yang lebih awal. Terutama tutorial, situs web, dan rekomendasi buku gratis disambut.

Melihat kursus semantik operasional di Universitas saya memberikan tiga berikut:

• Catatan kuliah Andrew Pitts
• Gordon Plotkin Aarhus mencatat tentang semantik operasional struktural
• Matthew Hennessey's The Semantics of Programming Languages

Ohad.

Semantik operasional struktural (SOS) adalah konsep yang sangat umum. Ini pada dasarnya hanya hubungan biner pada konfigurasi (biasanya program plus konteks, seperti keadaan, atau kelanjutan yang tersedia), atau, dalam kasus label semantik, hubungan ternary antara konfigurasi, tindakan (yang mewakili konteks minimal tertentu) dan konfigurasi. Bit "struktural" biasanya bahwa relasi ini didefinisikan secara induktif di atas sintaks yang terlibat (misalnya konfigurasi dan aksi).

Dengan demikian, tanpa persyaratan lain, entitas matematika yang kita anggap dalam SOS terlalu umum untuk menarik / dapat ditelusuri sendiri.

SOS menjadi menarik dan substansial ketika kita melihat kasus-kasus khusus, misalnya kesetaraan untuk kalkulus-waktu, transisi berlabel untuk kalkulus ambien asinkron terkait dengan pengurangan, atau pertanyaan tentang ekspresifitas kalkulus tertentu (kelas).

Jadi rekomendasi saya untuk Mr / Ms Systemsfault adalah untuk melewatkan generalisasi dan langsung ke kalkulus minat tertentu. Teknik SOS umum dapat dengan mudah diambil di sepanjang jalan.

Saya akan merekomendasikan membaca Bab 2 dalam buku yang dapat diunduh ini:

Semantik dengan Aplikasi: Pengantar Resmi, Hanne Riis Nielson dan Flemming Nielson, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html