2020年8月19日
程序理论之形式语义（formal semantics）
摘要： 用数学方法，尤其是形式系统严格定义出的语言的语义。程序设计语言是人们用来和计算机系统进行通信和控制其工作的人工语言。作为语言，人工语言和自然语言一样，有其语法、语义和语用范畴。程序设计语言的语法是指程序的组成规则，语义是指程序的含义。 程序设计语言的语义通常是由设计者用一种自然语言非形式地解释，实现 阅读全文
posted @ 2020-08-19 20:02 公羊尺 阅读(1070) 评论(0) 推荐(0)