公理语义
计算机科学技术名词
公理语义（axiomatic semantics）是2018年公布的计算机科学技术名词，出自《计算机科学技术名词 》第三版。
定义
用逻辑断言及其推理系统来描述程序设计语言的语义, 其典型代表是由托尼·霍尔（Tony Hoare）提出的霍尔公理语义。
出处
《计算机科学技术名词 》第三版。
参考资料
公理语义.术语在线.
最新修订时间：2022-04-23 13:44
条目作者
小编
目录
概述
定义
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1