操作语义学造句
- 操作语义学的基本思想来源于程序设计语言的实施。
- 1980年前后，英国爱丁堡大学的计算机科学家提出结构式操作语义学。
- 人们希望语言的语义是独立于实施的，故操作语义学中使用了抽象机器，但仍不可避免地涉及语言的实施，这是它的弱点。
- 由于语言的语义应该是标准的，不应依附于一个特定的计算机和一种具体的实施，因此操作语义学是用解释执行程序的抽象的机器来定义语言的语义。
- 因为语言的语义应该是标准的，不应依赖于特定的计算机系统，或一种具体的实现方式，因此，操作语义学使用抽象机和抽象解释程序来定义语言的语义。
- 介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。
- IBM公司维也纳实验室在研究操作语义学方法VDL的基础上，于70年代初转向指称语义学的研究，发展了基于指称语义学方法的一整套开发软件的工程方法，称为维也纳开发方法（简称VDM）。
- 但现代研究状况表明，操作语义学对语言的设计和实施仍有其指导作用，如在定义并发式程序设计语言的语义时，其他语义学方法都遇到了困难，而结构式操作语义学则提出了带有标号的归约规则，显示了它独有的长处。
- 而形式语义的研究自60年代以来虽有不少研究工作者从事这方面的工作，提出几种不同的语义理论，主要是操作语义学、指称语义学或称数学语义学、公理语义学和代数语义学，但仍没有一种公认在软件技术中够用的形式语义学，因而需要提出一种更适于用到实际计算中的新的语义学。
- 用操作语义学造句挺难的，這是一个万能造句的方法
手机版