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

• 作者: 邹崇理
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 唐稚松院士 时序逻辑语言XYZ/E 时态逻辑 动态逻辑
• 年，卷（期）: 2018,（9）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 9-15
• 页数: 7页
• 分类号: B81
• 字数: 6895字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2018.09.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹崇理	四川师范大学逻辑与信息所	54	143	7.0	9.0