论文部分内容阅读
本文讨论了通常程序设计语言的语义理解问题且提出了若干定义和概念，进而又论述了在不同层次上的等价性，从而为程序的转换和替代建立理论依据。本文还分析了程序设计语言及其源程序中的语境问题并提出了若干概念和定义，为软件移植性等的最化刻划提供帮助。
程序设计语言的语义理解及语境分析
【摘 要】
：
本文讨论了通常程序设计语言的语义理解问题且提出了若干定义和概念，进而又论述了在不同层次上的等价性，从而为程序的转换和替代建立理论依据。本文还分析了程序设计语言及其源
【机 构】
：
南京大学计算机科学与技术系
【出 处】
：
计算机研究与发展
【发表日期】
：
1994年7期
其他文献
徐承秋教授从事心血管疾病的临床及科研50余载，治疗胸痹心痛提倡通调并用，主张抓主证，以益气养阴为主法，临床注重辨虚实，处方精炼，配伍精当，用药平和，重视顾护胃气和调理善后。
随着知识经济的发展,现代图书馆的功能和作用不断扩展和延伸,它不仅是收集、整理和流通书刊资料的机构,而且是各种信息载体的收集、加工、整理和传播的机构.图书馆应积极利用
定时驱动布局是减小ＩＣ延时的重要手段。本文通过描述其目标函数与约束条件，给出一种用延时表示弹性系数的力向量算法。它具有速度快，布局目标准确等特点。
作为宗教文化产物的寺院,拥有丰富的美术资源,但对这些资源的有效保护和利用明显不够。青海寺院美术资源是研究青海历史文化发展过程中不可忽视的财富。当前,青海各寺院的美
《金匮要略》是中医的四大经典之一，学生的学习难度较大。在教学中引入现代教育技术的多媒体课件，可以有效提高其教学效果。但要注意的是，在课件制作过程中，不能简单地把教材的内
经济社会的发展程度是一个相对的和运动、变化着的概念，在人类社会的发展史上，许多原先为欠发达的国家和地区，通过自身的努力奋斗，逐渐赶上甚至超过同时代的发达的国家和地区；而一
2012年颁布的《最高人民法院关于审理买卖合同纠纷案件适用法律问题的解释》(以下简称《买卖合同司法解释》)对所有权保留制度中的出卖人取回权进行了简要的规定和说明。但在
根据对曹丕杂言诗歌进一步研究发现,曹丕杂言诗与汉乐府诗的关系紧密。曹丕所制杂言诗共有七首,都为拟乐府诗作品,但谈其杂言诗是如何在继承汉乐府诗的基础上,进行诗歌创新方
知识库系统(KBS)开发环境的特点是简便性和领域适应性。我们认为如果在KBS开发环境中既有抽象结均,又有多种集成工具,则该环境将会非常有效。本文介绍一个KBS 开发环境DECISI
本文将提出一种用于Ｔｒａｎｓｐｕｔｅｒ多机系统的Ｈａｍｉｌｔｏｎ回路连接三元树互连结构，并给出其构造算法。这种结构的Ｔｒａｎｓｐｕｔｅｒ多机系统在其通信服务程序的支持下，可以很好地适应扇型，星型，环和超环等多种并行结构的计算