×

玩具

swMATH ID: 9812
软件作者: F.J.López Fraguas,J.Sánchez Hernández
描述: TOY:一个多参数声明系统。TOY是CRWL的具体实现,CRWL是一个广泛的声明式编程理论框架,其基础是基于构造函数的重写逻辑,以惰性非确定性函数为核心概念。TOY支持的CRWL的其他方面包括:多态类型;HO特征;项上的相等和无质量约束以及实数上的线性约束;通过需要收缩结合约束求解实现目标求解。该实现基于将TOY程序编译到Prolog中。
主页: http://link.springer.com/chapter/10.1007/3-540-48685-2_19
相关软件: 巴贝尔;哈斯克尔;PAKCS公司;咖喱;内核-叶;莫德;帽子;茶包;幼儿保育和教育;水银;欧兹;毫升;;芙蕾雅;PFLP公司;KiCS2系列;轻松检查;伊莎贝尔;夏普;哈卡鲁
引用于: 56文件
全部的 前5名

60位作者引用

11 迈克尔·哈纳斯
9 德国维达尔
8 塞尔吉奥·安托伊
8 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔
6 德尔·瓦多·维尔塞达,拉斐尔
5 玛丽亚·阿尔普特
5 伯恩德·布拉埃尔
5 拉斐尔·E·卡巴列罗。
5 詹姆·桑切斯·埃尔南德斯
4 艾尔维拉·阿尔伯特
4 马里奥·罗德里格斯-阿塔莱霍
4 胡安·罗德里格斯·霍塔拉
安东尼奥·贝塞拉·特隆
莫雷诺,法拉斯基
弗兰克,哈
乔塞普·席尔瓦
2 阿尔梅德罗斯-吉梅内斯,杰苏斯·曼努埃尔
2 黛米斯·巴利斯
2 塞巴斯蒂安·费舍尔
2 费尔南多·Sáenz-Pérez
1 Alemandros-Jiménez,Jesüs M。
1 阿隆索、何塞·安东尼奥
1 丹尼尔·布朗(Daniel W.Brown)。
1 伊格纳西奥·卡斯蒂涅拉斯
1 蒋素慧
1 简·克里斯蒂安森
1 何塞·米盖尔·克莱娃
1 马可·科米尼
1 科雷亚,弗朗西斯科·何塞
1 科雷斯·费尔南德斯(Jesús Correas Fernández)
1 圣地亚哥埃斯科瓦尔
1 索尼娅·埃斯特韦兹·马汀
1 安东尼奥·J·费尔南德斯。
1 埃米利奥·杰苏斯·加列戈·阿里亚斯
1 尤兰达加西亚·鲁伊斯
1 伯恩哈德·格拉姆利希
1 玛丽亚·何塞·伊达尔戈
1 Hortalá-González,特蕾莎
1 何塞·伊波拉
1 帕斯卡尔·朱利安·伊兰佐
1 安迪·乔斯特
1 刘继萌
1 萨尔瓦多卢卡斯
1 卢克斯,沃尔夫冈
1 朱利奥·马里奥·卡巴洛
1 马丁·马丁,恩里克
1 Martín-Mateos,Francisco-Jesüs
1 Bart C.Massey。
1 直纪西田
1 克劳迪奥·奥乔亚
1 哈维尔·奥利弗
1 费比安·雷克
1 何塞·玛丽亚·雷伊·波扎
1 阿德里安·里斯科
1 何塞·路易斯·鲁伊斯·雷纳
1 汤姆·施里杰弗斯
1 蒂根,芬兰人
1 安德鲁·托尔马赫
1 范登伯格,比尔特
1 艾丽西亚·维拉纽埃娃

按年份列出的引文