ความหมายอย่างเป็นทางการของภาษาโปรแกรม

ฉันยังใหม่กับทฤษฎีภาษาโปรแกรมและฉันกำลังมองหาแหล่งข้อมูลที่ดีสำหรับทรัพยากรสำหรับความหมายอย่างเป็นทางการของภาษาโปรแกรม กำลังมองหาความหมายของการปฏิบัติการเชิงโครงสร้างโดยเฉพาะ ฉันได้รับคำแนะนำหนังสือ แต่ฉันกำลังมองหาแหล่งข้อมูลในระดับเบื้องต้น ยินดีต้อนรับบทเรียนโดยเฉพาะเว็บไซต์และแนะนำหนังสือฟรี

การดูหลักสูตรความหมายในการปฏิบัติการที่มหาวิทยาลัยของฉันมีสามสิ่งต่อไปนี้:

• บันทึกการบรรยายของ Andrew Pitts
• บันทึกของAarhusของ Gordon Plotkin เกี่ยวกับความหมายในเชิงปฏิบัติการ
• Matthew Hennessey's ความหมายของภาษาโปรแกรม

Ohad

ความหมายของโครงสร้างการดำเนินงาน (SOS) เป็นแนวคิดทั่วไปมาก มันเป็นเพียงแค่ความสัมพันธ์แบบไบนารีในการกำหนดค่า (โดยปกติแล้วโปรแกรมรวมถึงบริบทเช่นสถานะหรือต่อเนื่องที่มี) หรือในกรณีของความหมายที่มีข้อความกำกับความสัมพันธ์แบบไตรภาคระหว่างการกำหนดค่าการกระทำ (ซึ่งเป็นตัวแทนของบริบทน้อยที่สุด) บิต "โครงสร้าง" โดยปกติแล้วความสัมพันธ์เหล่านี้จะถูกกำหนด inductively มากกว่าไวยากรณ์ที่เกี่ยวข้อง (เช่นการกำหนดค่าและการกระทำ)

ดังนั้นหากไม่มีข้อกำหนดอื่นหน่วยงานทางคณิตศาสตร์ที่เราพิจารณาใน SOS นั้นกว้างเกินไปที่จะน่าสนใจ / สามารถเข้าถึงได้ในสิทธิของตนเอง

SOS กลายเป็นสิ่งที่น่าสนใจและมีความสำคัญเมื่อเราดูกรณีพิเศษเช่นความเท่าเทียมกันสำหรับ timed-calculi, ช่วงการเปลี่ยนภาพสำหรับแคลคูลัสรอบบรรยากาศแบบอะซิงโครนัสที่สอดคล้องกับการลดลงหรือคำถามเกี่ยวกับนิรนัย

ดังนั้นคำแนะนำของฉันสำหรับ Mr / Ms Systemsfault คือการข้าม generalities และกระโดดลงไปในแคลคูลัสที่สนใจโดยเฉพาะ เทคนิค SOS ทั่วไปสามารถหยิบขึ้นมาได้อย่างง่ายดายตลอดทาง

ฉันอยากจะแนะนำให้อ่านบทที่ 2 ในหนังสือที่ดาวน์โหลดได้นี้:

ความหมายกับแอปพลิเคชัน: บทนำอย่างเป็นทางการ, Hanne Riis Nielson และ Flemming Nielson, Wiley, 1992 http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html