×

兹马思-数学第一资源

SeLINQ:跨应用程序数据库边界跟踪信息。(英语) Zbl 1346.68065
第19届ACM SIGPLAN函数式编程国际会议论文集,ICFP'14,瑞典哥德堡,2014年9月1-3日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-2873-9)。25-38(2014年)。

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68N18 函数规划与lambda演算
68页15页 数据库理论
68问65 抽象数据类型;代数规范
PDF格式 BibTeX公司 XML 引用
全文: 内政部