【摘 要】
：
The development of a formal semantics for a given programming language can proceed in several stages.At each stage we give an alternative semantic definition o
【机 构】
：
Beijing Institute of System Engineering,
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
The development of a formal semantics for a given programming language can proceed in several stages.At each stage we give an alternative semantic definition of the language, and each definition embodiessuccessively more and more implementation details. Then we formulate and prove at each stage the congruenceconditions between successive definitions in the sequence. This paper presents two formal semantics for Prologwith “cut” and shows the congruence condition between them.
The development of a formal semantics for a given programming language can proceed in several stages. At each stage we give an alternative semantic definition of the language, and each definition embodiessuccessively more and more implementation details. Then we formulate and prove at each stage the congruenceconditions between successive definitions in the sequence. This paper presents two formal semantics for Prologwith “cut” and shows the congruence condition between them.
其他文献
The crystal structure N-methyl-9-(4-bromophenyl)-1,8-dioxo-1,2,3,4,5,6,7,8,9,10- decahydroacridine(C20H20BrNO2) was determined by single-crystal X-ray diffract
英国电影、电声、电视学会(BKSTS)新成立了内容创作委员会(ContentCreationCommittee),在其召开的第一次会议上介绍了计算机图像(简称CG)系统设备和软件工具十余年间价格方面的变化;阐述了CG内容创作的新技术和发展趋势,如:3D和形象化预审视、动画制作关键性新技术、资源共享的协作化资产管理、远程工作模式、高清DV、无磁带制作和传送方式。
高中物理在高中阶段对于我们高中生而言是一门极其重要的学科,同时在高考中分数占比也很大,而在物理科学中运动学部分又是高中物理中内容占比很大的部分,分数占比也很高,因此
在音乐教学活动中,教师巧妙地利用多媒体课件,可以多方位刺激幼儿的感官,使抽象的音乐变得具体,有利于幼儿充分感受和理解.下面我以音乐多媒件课件①为例来分析如何选材和设
各区、市、县政府,市政府有关工作部门:根据《省人民政府办公厅关于开展全省安全生产大检查的通知》(黔府办发电[2009]158号)要求,市政府定于9月至10月上旬在全市开展安全生
雷曼兄弟亚洲团队2005年的年终报告预计,2006年除日本外亚洲地区的经济增长将达到7%,是世界平均值的两倍。但这一地区的经济仍然隐藏着十大危险因素:1、美国的财政赤字。美
过去一提到污染,人们普遍想到工业污染。其实现代农业同样可以造成污染,而且这种污染对人们的危害同样严重。最近,中国农业科学院土壤肥料研究所提供的一项报告表明:中国北
杂交稻新组合特优63;抗寒剂在水稻育秧上的应用;花培小麦新品种甘春16号;粮饲兼用玉米辽原1号;夏大豆新品种中豆19;高抗丰产胡麻陇亚7号;花生根瘤菌亲和组合新剂型生产技术;
实际上,在研究曲线运动时,都会习惯性的将直线运动规律套用到曲线运动之中,进而造成错误,对此在本文中笔者将就一些常见的曲线运动问题进行分析,并将一些易混淆的概念阐述在
新一轮农村土地延包明确指出,将土地承包期再延长30年,并作出了严格控制“机动地”比例在5%范围以内,将超标的机动地均包到户等具体规定。对此,有些农村干部认为,既然土地承