定义程序语言语义的三种方法
2010-09-18 10:30
239 查看
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.
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.
相关文章推荐
- Cg(C for Graphic)语言语义绑定方法
- js二维数组定义和初始化的三种方法总结
- Android开发中完全退出程序的三种方法
- C# Winform WCF 调试服务端的程序(三种方法)
- JavaScript中定义函数的三种方法
- 三种计算Python的代码块或程序的运行时间的方法比较
- SAS定义宏变量三种方法
- eclipse界面语言切换的三种方法
- 零基础学C语言 笔记三 三种方法交换两个变量的值
- Android程序完全退出的三种方法
- 关于程序运行一次的三种方法
- python语言小程序——排序算法2(桶排序-三种方案)
- ubuntu下安装程序的三种方法以及卸载命令
- ubuntu下安装程序的三种方法
- Javascript定义类(class)的三种方法
- 各开发语言的程序加密方法(一)
- 语言中没有main函数生成可执行程序的几种方法
- c语言计算程序运行时间的方法
- delphi热键:delphi程序中定义热键的方法 --转
- JS 定义方法的三种方式