Apakah ada survei semantik dari berbagai fitur bahasa pemrograman?

Apakah ada survei (dari makalah, bab buku, tutorial, tautan, ...) tentang semantik dari berbagai fitur bahasa pemrograman? Saya awalnya kewalahan oleh fitur-fitur D di sini http://www.digitalmars.com/d/2.0/comparison.html

Saya ingin melihat apa yang mungkin saya dapat dari sini, walaupun saya telah mengajukan pertanyaan serupa tentang stackoverflow dan memahami kedua situs ini memiliki perspektif yang berbeda.

Sangat menghargai balasan Anda! Terima kasih kepada Dave Clarke untuk sarannya tentang meta！

Saya tidak tahu survei semantik berbagai fitur bahasa, meskipun ada banyak buku yang membahas semantik bahasa pemrograman. Berikut adalah beberapa yang lebih komprehensif, yang juga menangani konstruksi yang kurang standar:

• Konsep Desain dalam Bahasa Pemrograman oleh Franklyn Turbak, David Gifford dan Mark Sheldon. Sebuah buku raksasa penuh semantik dari banyak konstruksi bahasa yang berbeda.

• Konsep, Teknik, dan Model Pemrograman Komputer oleh Peter Van Roy dan Seif Haridi. Buku ini berfokus terutama pada konsep-konsep dalam hal bahasa Oz. Setiap contoh dalam buku ini berjalan. Pada akhir buku ada satu atau dua bab membahas semantik formal konstruksi bahasa.

Lebih banyak teks klasik yang lebih menekankan pada teknik semantik, daripada pada variasi konstruksi bahasa pemrograman, termasuk:

• Jenis dan Bahasa Pemrograman oleh Benjamin Pierce. Buku tentang sistem tipe. Terutama berfokus pada konstruksi bahasa fungsional, sambil meningkatkan kecanggihan sistem tipe. Ini juga mencakup Featherweight Java, kalkulus inti Jawa.

• Transisi dan Pohon oleh Hans Huttel. Pengantar yang bagus untuk semantik operasional, mencakup beragam konstruksi bahasa dengan kompleksitas yang semakin meningkat.

• Semantik dengan Aplikasi oleh Hanne Riis Nielson dan Flemming Nielson. Pengantar berbagai gaya semantik, termasuk beberapa aplikasi yang tidak jelas dari mereka. Bacaan yang bagus!

• Struktur Bahasa Pemrograman yang Diketik oleh David A Schmidt. Buku dasar yang kuat.

• Semantik Bahasa Pemrograman: Struktur dan Teknik oleh Carl A Gunter. Buku dasar yang kuat lainnya.

Akhirnya, sebuah karya dalam proses, tersedia secara murah untuk diunduh, Yayasan Praktis untuk Bahasa Pemrograman oleh Bob Harper mencakup banyak fitur bahasa pemrograman yang berbeda, memastikan bahwa semuanya diformalkan di sepanjang jalan.

Saya harus menambahkan bahwa jika Anda mengajukan pertanyaan yang lebih spesifik, Anda akan mendapatkan jawaban yang lebih spesifik. Banyak makalah ilmiah di luar sana memberikan semantik untuk berbagai fitur bahasa pemrograman. Jika Anda tertarik pada fitur tertentu, maka saya bisa menggali satu atau dua kertas di fitur itu.

Buku bagus lainnya tentang semantik operasional adalah Teknik Semantik dengan PLT Redex oleh Matthias Felleisen, Robby Findler, dan Matthew Flatt. Ini dimulai dengan perlakuan buku teks reduksi semantik dan mesin abstrak, dan juga mencakup menggunakan alat Redex untuk memodelkan semantik bahasa pemrograman.