直纪小林 模型检查高阶程序。 (英语) Zbl 1281.68157号 美国临床医学杂志 第60号第3条第20条第62页(2013年). 引用于17文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 03B40型 组合逻辑与lambda演算 68甲18 函数编程和lambda演算 关键词:类型系统;高阶递归格式;模型检查 软件:SLAM公司;OCaml公司;CDuce公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi},J.ACM 60,第3号,第20条,62页(2013;Zbl 1281.68157) 全文: 内政部