- 1、本文档共46页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Semantik o ch Princip er for Programmeringssprak Part 1
An Intro duction to
Programming Language Semantics
Faron Moller
Spring 1998
Uppsala University
Contents
1 Intro duction 2
1.1 Overview of Semantic Metho ds . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 The Imp erative Language Imp . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Mathematical Excursion: A Review of Logic and Set Theory . . . . . . . . 5
2 Op erational Semantics of Imp 7
2.1 Mathematical Excursion: Inductive Denitions and Pro ofs . . . . . . . . . 11
3 Denotational Semantics of Imp 17
3.1 Mathematical Excursion: Iteration and Least Fixed Points . . . . . . . . 20
3.2 An Example Computation . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4 The Equivalence Between Op erational and Denotational Semantics 26
These notes provide a simplied presentation of Chapters 1{5 of thetextb o ok The F or-
mal Semantics of Programming Languages b y Glynn Winskel.
Chapter 1
Intro duction
There is a wide sp ectrum of metho ds for describing the semantics or \meaning of
programs written in some programming language. These range from an informal ap-
proach, for example as characterised by the traditional programming language reference
manual, through to a completely formal approach emb o dying mathematical and logical
precision. The goal of formal programming language semantics is to give mathematical
interpretations to programming language constructs in order to formally and rigorously
prove prop erties ab out programs, particularly regarding their correctness. You will p o
您可能关注的文档
- 公共英语三级全真模拟试卷.doc
- 公共英语一级全真试卷.doc
- 供应链与物流成本优化训练营.doc
- 供应商开发、评估、选择与管理.doc
- 供应商选择评估与全面管理上海.doc
- 计算机二级ACCESS_2014考试大纲及复习方法+历年真题+讲义.doc
- 计算机二级ACCESS笔试题精选.doc
- celltherapy2文献.pdf
- ChinaMSAMajorFunctions文献.doc
- 关于劳务派遣、如何解雇辞退及处理违纪问题、有效调岗调薪和企业常见劳动争议处理对策11.doc
- 英语人教PEP版八年级(上册)Unit4+writing+写作.pptx
- 人美版美术四年级(上册)8 笔的世界 课件 (1).pptx
- 人美版美术七年级(上册)龙的制作.pptx
- 英语人教PEP版六年级(上册)Unit 2 第一课时.pptx
- 数学苏教版三年级(上册)3.3 长方形和正方形周长的计算 苏教版(共12张PPT).pptx
- 音乐人教版八年级(上册)青春舞曲 课件2.pptx
- 音乐人教版四年级(上册) 第一单元 音乐知识 附点四分音符|人教版.pptx
- 英语人教PEP版四年级(上册)Unit 6 Part B let's learn 1.pptx
- 道德与法治人教版二年级(上册)课件-3.11大家排好队部编版(共18张PPT).pptx
- 人美版美术七年级(上册)《黄山天下奇》课件1.pptx
文档评论(0)