×
罗文·戴维斯;弗兰克·芬宁

分阶段计算的模态分析。 （英语） Zbl 1323.68107号

美国临床医学杂志 48，第3期，555-604（2001）.

引用于2评论
引用于65文件

MSC公司：

68甲18 函数编程和lambda演算
03B40型 组合逻辑与lambda演算
03B45号 模态逻辑（包括规范逻辑）
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

装订时间;运行时代码生成;分阶段计算

软件：

微型ML;精灵
PDF格式BibTeX公司 XML格式引用
\textit{R.Davies}和\textit{F.Pfenning}，J.ACM 48，第3期，555--604（2001；Zbl 1323.68107）
全文： 内政部