软件搜索-zbMATH Open

内核-叶

swMATH ID:	8982
软件作者：	埃利奥·乔万内蒂；乔治·列维；Corrado Moiso；帕拉米德斯猫
说明：	内核LEAF：一种逻辑加函数语言。内核LEAF是一种基于扁平化技术的逻辑加函数语言。它不同于其他类似的语言，因为它能够处理部分（未定义或非终止）函数。这是通过引入数据结构和（函数）术语结构之间的区别以及使用两种等式来实现的。该语言具有清晰的模型理论语义，其中的解释域是代数CPO。在这些域中，两个等式之间的差异对应于连续性的不同行为。与模型理论语义相比，操作语义（基于SLD解析）被证明是合理和完整的。最后，提出了一种比无限制SLD分辨率更有效但仍然完整的最外层策略。
主页：	http://www.sciencedirect.com/science/article/pii/002200009190009T
相关软件：	巴贝尔;玩具;咖喱;PAKCS公司;哈斯克尔;莫德;电子计算机控制;毫升;茶包;欧兹;ELAN公司;水银;对象货币;DiSCiPl公司;GHC公司;基马;快速检查;轻松检查;OPTYap公司;埃尔朗
引用于：	31文件

5	玛丽亚·阿尔普特
5	莫雷诺，法拉斯基
5	德国维达尔
4	艾尔维拉·阿尔伯特
4	塞尔吉奥·安托伊
4	马里奥·罗德里格斯-阿塔莱霍
三	迈克尔·哈纳斯
三	阿尔特·米德尔多普
2	科雷亚，弗朗西斯科·何塞
2	艾达、铁雄
2	乔治·列维
2	丽塔·勒根
2	铃木、芋头
1	阿尔梅德罗斯-吉梅内斯，杰苏斯·曼努埃尔
1	普里省阿雷纳斯-桑切斯
1	巴利斯，德米斯
1	阿杰·班萨尔
1	安东尼奥·贝塞拉·特隆
1	布埃诺，弗朗西斯科
1	拉斐尔·卡巴列罗（Rafael E.Caballero）。
1	弗朗西索·科雷亚
1	约翰·达林顿
1	圣地亚哥埃斯科瓦尔
1	玛丽亚·加西亚·德拉班达
1	埃利奥·乔瓦内蒂
1	冈萨雷斯-莫雷诺，胡安·卡洛斯
1	郭一科
1	戈帕尔·古普塔
1	埃里克·哈蒙
1	曼努埃尔五世（Manuel V.Hermenegildo）。
1	霍塔拉·冈萨雷斯，玛丽亚·特蕾莎
1	弗兰克，哈
1	帕斯卡尔·朱利安·伊兰佐
1	洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔
1	阿杰·马利娅
1	金·万豪酒店
1	Bart C.Massey。
1	何塞·梅塞盖尔·瓜伊塔
1	科拉多·莫伊索
1	哈维尔·奥利弗
1	卡图西亚帕拉米德斯
1	尼古拉斯·佩尔蒂埃
1	普雷霍费尔，克里斯蒂安
1	热尔曼普埃布拉
1	J.瓜达卢佩·拉莫斯
1	乔塞普·席尔瓦
1	卢克·西蒙
1	彼得·詹姆斯·斯塔基
1	普拉桑纳·塔蒂

31	计算机科学（68至XX）