×
拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;马杜苏丹，P。

局部和全局程序流的不动点演算。 （英语） Zbl 1370.68051号

2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-027-2）。153-165（2006年）。

引用于12文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
03B45号 模态逻辑（包括规范逻辑）
03B70号 计算机科学中的逻辑
65年第68季度 形式语言和自动机
68问题55 计算理论中的语义学
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

\（\mu\）-微积分;游戏;无限状态;程序逻辑;模型检查;下推系统;规范;验证

引文：

Zbl 1192.68396号;Zbl 1126.68466号
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，摘自：第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'06，查尔斯顿，南卡罗来纳州，美国，2006年1月11-13日。纽约州纽约市：计算机协会（ACM）。153-165（2006年；Zbl 1370.68051）
全文： 内政部 链接