玩具 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 艾丽西亚·维拉纽埃娃 全部的 前5名8篇连载文章中引用 4 逻辑程序设计理论与实践 三 符号计算杂志 2 理论计算机科学 2 新一代计算 2 高阶和符号计算 1 信息与计算 1 工程、通信和计算中的应用代数 1 函数与逻辑程序设计杂志 在2个字段中引用 56 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 按年份列出的引文