Çeşitli programlama dili özelliklerinin semantiği hakkında bir araştırma var mı?

Çeşitli programlama dili özelliklerinin semantiği hakkında bir araştırma (kağıt, kitap bölümü, öğretici, bağlantılar, ...) var mı? Aslen burada D'nin özellikleri karşısında bunalmıştım http://www.digitalmars.com/d/2.0/comparison.html

Stackoverflow ile ilgili benzer bir soru sordum ve bu iki sitenin farklı bakış açıları olduğunu anlasam da, muhtemelen buradan ne alabilirim görmek istiyorum .

Cevabınızı gerçekten takdir ediyorum! Dave Clarke'a önerisi için Dave Clarke'a teşekkürler .

Programlama dillerinin semantiği ile ilgili birçok kitap olmasına rağmen, çeşitli dil özelliklerinin semantiği hakkında herhangi bir anket bilmiyorum. Daha az standart yapılarla ilgilenen daha kapsamlı olanlardan bazıları:

• Franklyn Turbak, David Gifford ve Mark Sheldon tarafından Programlama Dillerinde Tasarım Kavramları . Birçok farklı dil yapısının anlambilimiyle dolu mamut bir kitap.

• Peter Van Roy ve Seif Haridi'nin Bilgisayar Programlama Kavramları, Teknikleri ve Modelleri . Bu kitap esas olarak Oz dili açısından kavramlara odaklanmaktadır. Kitaptaki her örnek çalışır. Kitabın sonunda dil yapılarının biçimsel anlambilimini tartışan bir veya iki bölüm var.

Programlama dili yapılarının çeşitliliği yerine semantik tekniklere daha fazla vurgu yapan daha klasik metinler şunları içerir:

• Türleri ve Programlama Dilleri Benjamin Pierce. Tip sistemleri kitabı. Tipik olarak işlevsel dil yapılarına odaklanırken, yazı sisteminin karmaşıklığını arttırır. Ayrıca Java'nın temel bir hesabı olan Featherweight Java'yı da kapsar.

• Geçişler ve Ağaçlar : Hans Huttel. Artan karmaşıklığa sahip çeşitli dil yapılarını kapsayan operasyonel anlambilime güzel bir giriş.

• Hanne Riis Nielson ve Flemming Nielson'ın Uygulamalarıyla Anlambilimi . Bazı belirgin olmayan uygulamalar da dahil olmak üzere çeşitli anlambilim stillerine giriş. Harika bir okuma!

• Yazılı Programlama Dillerinin Yapısı David A Schmidt. Sağlam bir temel kitabı.

• Programlama Dillerinin Anlambilimi: Yapılar ve Teknikler Carl A Gunter. Bir başka sağlam temel kitap.

Son olarak, devam etmekte olan, cömertçe indirilebilen, Bob Harper'ın Programlama Dilleri için Pratik Temeller , her şeyin yolunda resmileştirilmesini sağlayan birçok farklı programlama dili özelliğini kapsar.

Daha spesifik bir soru sorarsanız, daha spesifik bir cevap alacağınızı eklemeliyim. Pek çok bilimsel makale, çeşitli programlama dili özelliklerine anlambilim kazandırıyor. Belirli bir özellikle ilgileniyorsanız, o özellik hakkında bir veya iki kağıt kazabilirim.

Operasyonel anlambilim üzerine bir başka iyi kitap Matthias Felleisen, Robby Findler ve Matthew Flatt tarafından PLT Redex ile Semantics Engineering'dir . Bu, indirgeme semantiği ve soyut makinelerin bir ders kitabı uygulamasıyla başlar ve ayrıca programlama dillerinin semantiğini modellemek için Redex aracını kullanmayı kapsar.