ฉันไม่รู้การสำรวจความหมายของฟีเจอร์ภาษาต่างๆแม้ว่าจะมีหนังสือหลายเล่มที่เกี่ยวข้องกับความหมายของภาษาการเขียนโปรแกรม ต่อไปนี้เป็นตัวอย่างบางส่วนที่ครอบคลุมมากขึ้นซึ่งจัดการกับโครงสร้างที่น้อยกว่า:
แนวคิดการออกแบบในภาษาโปรแกรมโดย Franklyn Turbak, David Gifford และ Mark Sheldon หนังสือแมมมอ ธ เต็มไปด้วยความหมายของโครงสร้างภาษาที่แตกต่างกันมากมาย
แนวคิดเทคนิคและรูปแบบการเขียนโปรแกรมคอมพิวเตอร์โดย Peter Van Roy และ Seif Haridi หนังสือเล่มนี้เน้นเรื่องแนวคิดเกี่ยวกับภาษาออซเป็นหลัก ทุกตัวอย่างในหนังสือทำงาน ในตอนท้ายของหนังสือเล่มนี้มีบทหนึ่งหรือสองบทที่พูดถึงความหมายที่เป็นทางการของโครงสร้างภาษา
ตำราคลาสสิกอื่น ๆ ที่ให้ความสำคัญกับเทคนิคความหมายมากกว่าความหลากหลายของการสร้างภาษาการเขียนโปรแกรมรวมถึง:
ประเภทและภาษาการเขียนโปรแกรมโดย Benjamin Pierce หนังสือเกี่ยวกับระบบการพิมพ์ ส่วนใหญ่เน้นไปที่การสร้างภาษาที่ใช้งานได้ในขณะที่เพิ่มความซับซ้อนของระบบประเภท นอกจากนี้ยังครอบคลุม Featherweight Java ซึ่งเป็นแคลคูลัสหลักของ Java
การเปลี่ยนผ่านและต้นไม้โดย Hans Huttel การแนะนำที่ดีเกี่ยวกับความหมายในการปฏิบัติงานครอบคลุมภาษาที่หลากหลายสร้างความซับซ้อนที่เพิ่มขึ้น
ความหมายกับแอปพลิเคชันโดย Hanne Riis Nielson และ Flemming Nielson คำแนะนำเกี่ยวกับรูปแบบความหมายต่าง ๆ รวมถึงแอพพลิเคชั่นบางอย่างที่ไม่ชัดเจนของพวกเขา อ่านดีมาก!
โครงสร้างของภาษาการเขียนโปรแกรม โดย David A Schmidt หนังสือพื้นฐานที่มั่นคง
ความหมายของภาษาโปรแกรม: โครงสร้างและเทคนิคโดย Carl A Gunter หนังสือพื้นฐานที่แข็งแกร่งอีกเล่ม
ในที่สุดความคืบหน้าในการทำงานซึ่งมีให้ดาวน์โหลดอย่างกว้างขวางมูลนิธิการปฏิบัติสำหรับการเขียนโปรแกรมภาษาโดย Bob Harper ครอบคลุมคุณลักษณะภาษาการเขียนโปรแกรมที่แตกต่างกันมากมายทำให้มั่นใจได้ว่าทุกอย่างเป็นทางการตลอดทาง
ฉันควรเพิ่มว่าถ้าคุณถามคำถามที่เฉพาะเจาะจงมากขึ้นคุณจะได้รับคำตอบที่เฉพาะเจาะจงมากขึ้น มีเอกสารทางวิทยาศาสตร์มากมายที่ให้ความหมายกับคุณสมบัติภาษาการเขียนโปรแกรมที่หลากหลาย หากคุณมีความสนใจในคุณสมบัติที่เฉพาะเจาะจงแล้วฉันสามารถขุดกระดาษหนึ่งหรือสองในคุณสมบัตินั้น