时序逻辑程序语言XYZ/E的创新性

摘要：

唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言.从创新的视角评价:XYZ/E是逻辑思想方法和计算机科学特征的融合产物;采用形式语义的方式描述程序的状态转换机制,在传统时态逻辑基础上,增添了更多实用的表达工具;XYZ/E比通常的动态逻辑,对程序语言动态思想的刻画显得简明直观.XYZ/E的创新给我们的启示是:往小处说,我们有必要吸取唐院士的成果,按照当今计算机程序语言的实际需求,探索揭示程序动态更新思想的更为直观简明的方式;往大处讲,我们要发扬唐院士的治学精神,强调交叉融合的跨学科思考.

关键词：唐稚松院士、时序逻辑语言XYZ/E、时态逻辑、动态逻辑

所属期刊栏目：32

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金重大项目"面向计算机人工智能的组合范畴语法研究"17ZDA027

在线出版日期：2018-11-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：9-15