【摘 要】
：
C(o)del是一种发展中的逻辑程序设计语言,目前还没有开发出编译器.G(o)Mel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论
论文部分内容阅读
C(o)del是一种发展中的逻辑程序设计语言,目前还没有开发出编译器.G(o)Mel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础.按照传统的方法,逻辑程序的运行机制和G(o)del语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算.提出了一种处理G(o)del语言类型系统的编译技术.针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率.
其他文献
目前,"新农村建设"正在如火如荼地进行中,我们通过对义乌市"五爱社区"的调查,了解了现在部分区域农村改造的具体情况、"新农村建设"的进展及其方向,以及其中存在的问题,并通
由于我国行政区划的限制,以行政区为边界的"行政区行政"是地方政府处理公共事务的常态模式。而随着区域经济一体化的发展,不同区域的联系日趋密切,导致跨越多个行政区域的公
网络战作战样式的出现,对传统的国际法构成了严峻的挑战,甚至在一定程度上颠覆了国际法的基本原则。但是适用于网络战的国际法或者叫国际网络作战法比较特殊,恐怕在短期内都
习近平关于新型政党制度的重要论述是在"西方之乱"和"中国之治"形成鲜明对照的历史背景下提出的,顺应了时代发展需要,为新时代加强我国新型政党制度建设指明了方向。其理论渊
分析总结了采制样过程中应该注意的事项,指出采样过程中应注意保证足够的子样数目和质量,采样点的选择和子样点的布置及正确选择采样工具等事项.制样过程中还应注意制样前准
目的 观察瑞舒伐他汀对急性冠状动脉综合征(ACS)患者超敏C反应蛋白(hs-CRP)、纤维蛋白原(Fbg)及血管性血友病因子(vWF)的影响.方法 将90例ACS患者按随机数字表法分为瑞舒伐他
在油井实时监测技术模型的基础上,建立气井酸化实时监测模型及其求解,从测量的压力和流体速率中开发出的注入能力倒数与时间叠加函数来跟踪地层的伤害变化。由于油气粘度的差
为全面了解新疆农田系统瓢虫资源组成以及多样性结构差异,本研究采用网捕法于2018年、2019年连续两年对新疆11个地州50个县/市/区15种农作物生境的406个采集点开展了瓢虫资源
深圳市轨道交通12号线某繁华路段地铁站出入口矩形顶管施工风险包括进出洞风险、设备风险、掘进风险和环境风险等.本文采用改进的层次分析法建立大断面矩形顶管风险层次结构