×

高阶功能程序的时间验证。 (英语) Zbl 1347.68233号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。57-68 (2016).

MSC公司:

第68季度第60季度 规范和验证(程序逻辑、模型检查等)
68甲18 函数编程和lambda演算
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部