本文介绍了程序意义的三种表达方式：解释性方式通过简单的抽象模型来表达意义；公理化方式规定了不同对象在使用各种语言特性前后的规则及价值；表示性方式则是将程序的语法部分映射到人类所能理解的抽象值上。
- Interpretive : meaning is expressed in terms of some simple abstract m/c.
- Axiomatic : where rules describe data values given various objects before and after execution of various language features.
- Denotational : syntactic pieces of program are mapped via evaluation functions into the abstract values they denote to humans.
转载于:https://www.cnblogs.com/whos/archive/2010/09/18/1830017.html
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
