【摘 要】
：
唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价：XYZ/E是逻辑思想方法和计算
【机 构】
：
四川师范大学逻辑与信息所,中国社会科学院
【基金项目】
：
国家社会科学基金重大项目“面向计算机人工智能的组合范畴语法研究”（17ZDA027）
论文部分内容阅读
唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价：XYZ/E是逻辑思想方法和计算机科学特征的融合产物;采用形式语义的方式描述程序的状态转换机制,在传统时态逻辑基础上,增添了更多实用的表达工具; XYZ/E比通常的动态逻辑,对程序语言动态思想的刻画显得简明直观。XYZ/E的创新给我们的启示是：往小处说,我们有必要吸取唐院士的成果,按照当今计算机程序语言的实际需求,探索揭示程序动态更新思想的更为直观简明的方式;往大
其他文献
晋祠翰香馆碑廊东壁镶嵌着一通大碑，题为《黄文节公书太白诗忆旧游寄谯郡元参军》，是宋代文人黄庭坚草书唐代诗人李白的诗《忆旧游寄谯郡元参军》，清道光二十八年（1848年）平定张穆
11月5日，位于深圳龙岗的意法半导体集成电路封装测试厂举行新厂奠基典礼，深圳市政府的主要领导（市长许宗衡、常务副市长刘应力）和其它重要领导应邀参加了典礼。
"十一五"期间将是我国实现由电子信息产业大国向强国转变的重要历史时期.全行业要以邓小平理论和"三个代表"重要思想为指导,以实现党的十六大提出的"全面建设小康社会"目标要
一、宗教祭祀与高官墓葬——晋阳遗存在史料记载中，晋阳古城最早出现于公元前497年。而早在公元前248年，秦设置太原郡时，治所便已在晋阳；西晋时扩展筑晋阳城；公元386年，北魏占领晋
消化性溃疡是一种临床常见的具有反复发作倾向的消化系统疾病,多发生于胃、十二指肠,临床多以上腹部疼痛或不适,腹胀、反酸、恶心、呕吐等为特征,可并发出血、穿孔、幽门梗阻
目的:观察悦肝胶囊对二甲基亚硝胺(DMN)模型大鼠肝纤维化形成的影响,探讨悦肝胶囊抗肝纤维化的作用机制.方法:模型制备采用DMN4周12天腹腔注射,实验组分别用大、中、小剂量悦
本文以基于EBO（Electrical Board Oescription）模型的DDR SODIMM Module与FPGAIC验证平台互连，利用 Cadence Allegro PCB SI软件对DDR与FPGA之间进行信号完整性分析为例，介绍了EB
为了解决满足多个约束条件的片上网络服务质量，本文提出了基于蜂群算法的一种QoS路由，该算法使用代理来更新路由信息，并综合考虑历史信息和当前网络状态的路由策略。采用最短路
根据中华商业信息中心的统计，2005年7月全国重点大型零售企业销售家用双缸洗衣机1.8万台，比去年同期下降13.2%，销售家用全自动洗衣机6.0万台，同比下降14.6%，销售滚筒洗衣机1.1万台
近日，国家质检总局对烟花爆竹产品质量进行了国家监督抽查，结果表明，大型烟花爆竹生产企业的生产条件大为改善，产品质量有所提高，但中小企业产品质量问题较多。