×

数据娱乐

swMATH ID: 20022
软件作者: 迈克尔·阿恩特泽尼乌斯(Michael Arntzenius);克里希纳斯瓦米,尼拉坎坦·R。
描述: Datafun:功能性数据日志。数据日志可能被认为是一种功能异常强大的查询语言,也可能是一种严格限制的逻辑编程语言。数据日志具有声明性、表达性和可优化性,已成功应用于各种问题领域。然而,大多数用例都需要以特定于应用程序的方式扩展Datalog。在本文中,我们定义了Datafun,它是支持高阶函数编程的Datalog的类似物。关键思想是跟踪类型的单调性。
主页: http://dl.acm.org/citation.cfm?doid=2951913.2951948
关键词: 数据日志;序言;伴随逻辑;指称语义学;特定领域的语言;函数式编程;逻辑程序设计;操作语义学;类型理论
相关软件: 水银;哈斯克尔;夏普;哈卡鲁;玩具;教堂;PITA公司;PFLP公司;迷你凯恩人;数据日志;序言
引用于: 2文件

0连载引用

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文