明弘市穆拉斯;大雄县Terauchi;直纪小林;佐藤隆介;不,Hiroshi 高阶功能程序的时间验证。 (英语) 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). 引用于1审查引用于4文件 MSC公司: 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 68甲18 函数编程和lambda演算 65年第68季度 形式语言和自动机 关键词:自动机理论验证;自动验证;二进制可达性分析;CEGAR公司;高阶程序;时间特性 引文:Zbl 1347.68231号 PDF格式BibTeX公司 XML格式引用 \textit{A.Murase}等人,摘自:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20-22日。纽约州纽约市:计算机协会(ACM)。57-68(2016;Zbl 1347.68233) 全文: 内政部