Semantik Resmi Bahasa Pemrograman


17

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.



Saya akan memposting tautan yang sama persis, tetapi kemudian memperhatikan bahwa OP telah menyebutkan bahwa mereka memiliki buku reco, dan sedang mencari referensi lain
Suresh Venkat

Jawaban:



8

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.


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.