1. 首页
  2. 课程学习
  3. 专业指导

In giving a formal semantics to a programming language we are concerned with building a mathematical model. Its purpose is to serve as a basis for understanding and reasoning about how programs behave. Not only is a mathematical model useful for various kinds of analysis and verification, but also, at a more fundamental level, because simply the activity of trying to define the meaning of program constructions precisely can reveal all kinds of subtleties of which it is important to be aware. This book introduces the mathematics, techniques and concepts on which formal semantics rests.

本页地址:http://qcsdn.com/q/a/49773.html
更多
更多相似下载
类型
pdf
下载
19次
大小
6.24MB
时间
2018-12-07

下载地址

用户评论

暂无评论