论文部分内容阅读
LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.
多规范语言LIPS
【摘 要】
：
LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计
【机 构】
：
华中理工大学计算机科学与工程系,华中理工大学计算机科学与工程系
【出 处】
：
华中理工大学学报
【发表日期】
：
1991年2期
其他文献
研制了一种新型的CO_2气硬树脂-Faset树脂砂,以Faset1为例进行了工艺性能的实验研究.为便于表征树脂的特性,提出树脂模数M的概念.研究表明,M增大,Faset树脂砂的初强度增大,但
本文研究了谐波起动电动机起动切换瞬变电流的规律.运用四阶尤格-库塔法,对Y-△起动和谐波起动过程的切换瞬变电流进行仿真计算,给出了计算结果,与实测值相比,获得了较为一致
丝绸之路经济带背景下的青海面临着新的战略选择,如何把握此次机遇是优化产业结构,促进经济新增长的关键。文章采用偏离份额分析法,对比分析了青海和全国2010-2014年的产业结
根据GB 15558.3—2008规定的阀门密封性和扭矩试验要求,设计了阀门密封及扭转试验机。为解决试验过程中轴向力对密封性能影响的难题和提高密封性能检测的准确性,用新型高弹性
<正> 随着酸雨范围的扩大和酸雨危害的加深,世界各国、尤其西欧和日本对酸雨的研究十分重视.我国广州、重庆等地也做了大量的工作.近年来的研究表明,癌发病率的上
农田土壤水分是作物生长发育的基本条件,及时准确地获取农田土壤水分状况是监测农业墒情和和指导灌溉决策的基础和关键。无人机多光谱遥感具有成本低、高机动性、高时效性等
随着国家经济建设的快速发展,科学技术水平的不断提高,新闻媒介的社会功能也在影响着人们物质文化需求,然而中国当代新闻媒介行业在模式上却悄然转变。当代中国的新闻媒介模
本文给出了复杂系统模型结构辨识问题的基本假设和定义;论述了结构辨识的基本问题;证明了模型结构辨识问题可以看作是根据有限观测数据并利用建模时采用的外部准则来选择模型