×
维罗尼克·本扎肯;朱塞佩·卡斯塔尼亚;Nguyen，Kim（金·阮）;杰罗姆·西蒙

NoSQL语言的静态和动态语义。 （英语） Zbl 1301.68174号

2013年1月23日至25日，意大利罗马，第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。101-114 (2013).

引用于4文件

MSC公司：

68问题55 计算理论中的语义学
68甲15 编程语言理论
68甲18 函数编程和lambda演算
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68第20页 信息存储和数据检索
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

无SQL;大数据分析;云计算;日本QL;类型推断

软件：

函数;CDuce公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Benzaken}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2013年1月23日至25日，意大利罗马，POPL'13。纽约州纽约市：计算机协会（ACM）。101-114（2013；Zbl 1301.68174）
全文： 内政部 arXiv公司 哈尔