您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

形式语义学的分类

发布时间:2019-04-30 21:13 来源:未知 编辑:admin

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  用程序设计语言编写的程序,规定了计算机对数据的加工过程。形式语义学的基本方法是用一种元语言将程序加工数据的过程及其结果形式化,从而定义程序的语义。根据所用数学工具和研究重点,形式语义学可分为四大类。 公理语义学

  通过使用数学中的公理化方法,用公理系统定义程序设计语言的语义。另外,公理语义学还研究和寻求适用于描述程序语义、便于语义推导的逻辑语言。例如,用时态逻辑定义的语言的公理语义又称为时态语义。典型的公理语义方法是Hoare公理系统。代表人物有R.W.Floyd和C.A.R Hoare;

  如果掌握了形式语义学里面的数学理论、方法和概念,就可以用它们去创造规则、刻画规则和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。

http://39-5963.net/gongliyuyi/75.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有