7
ความหมายเชิง denotational คืออะไร?
ในเธรดอื่น Andrej Bauer กำหนดซีแมนติก denotational semantics เป็น: ความหมายของโปรแกรมคือฟังก์ชั่นของความหมายของส่วนต่างๆ สิ่งที่รบกวนจิตใจผมเกี่ยวกับความหมายนี้ก็คือว่ามันไม่ได้ดูเหมือนจะออกเดียวสิ่งที่ร่วมกันคิดว่าเป็นความหมาย denotationalจากสิ่งที่ร่วมกันคิดว่าเป็นความหมายที่ไม่ denotational คือโครงสร้างความหมายในการดำเนินงาน อย่างแม่นยำยิ่งขึ้นส่วนผสมที่สำคัญที่นี่คือแบบแยกส่วนหรือองค์ประกอบของความหมายหรือใส่แตกต่างกันความจริงที่ว่าพวกเขาจะถูกกำหนดตามโครงสร้างนามธรรมของโปรแกรม ความหมายที่เป็นทางการ (ทั้งหมด?) ส่วนใหญ่ในปัจจุบันมีแนวโน้มที่จะมีโครงสร้างนี่เป็นคำจำกัดความที่จำเป็นหรือไม่ ดังนั้นคำถามของฉันคือ: ความหมายเชิง Denotational คืออะไร?