文件大小：0.71 MB 15页
因果一致的动态切片
作者
-
部分： 体积： 第27届并行理论国际会议（CONCUR 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2016-08-24
文件
文件标识符
引用为 获取BibTex
摘要
关键词
微积分； 动态切片； 因果等价； Galois连接
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
U.A.Acar、A.Ahmed、J.Cheney和R.Perera。 起源的核心演算。 《计算机安全杂志》，21:919-9692013。 POST 2012论文的完整版本。 
-
J.Cheng。 切片并发程序：一种图形理论方法。 在自动和算法调试中，LNCS中的编号749，第223-240页。 Springer-Verlag，1993年。
-
I.Cristescu、J.Krivine和D.Varacca。 可逆像素的合成语义。 在LICS中，第388-397页，2013年6月。
-
V.Danos和J.Krivine。 可逆通信系统。 《并发理论》，第15届国际会议，CONCUR'04，LNCS，第292-307页。 施普林格，2004年。
-
N.G.de Bruijn公司。 带无名假人的Lambda微积分表示法：一种用于自动公式操作的工具，适用于Church-Rosser定理。 Indagationes Mathematicae，34（5）：381-3921972年。
-
M.Dezani-Ciancaglini、R.Horne和V.Sassone。 追踪链接数据中的出处和出处：微积分。 理论计算机科学，464:113-1292012。
-
E.Duesterwald、R.Gupta和M.L.Soffa。 分布式程序的分布式切片和部分重新执行。 第五届并行计算语言和编译器国际研讨会论文集，第497-511页。 施普林格，1993年。
-
D.Goswami和R.Mall。 并发程序的动态切片。 《高性能计算-HiPC 2000》，LNCS第1970卷，第15-26页。 斯普林格，2000年。
-
D.Hirschkoff。 在pi-calculus中显式处理替换。 1999年，在第二届显性替代：程序和证明的理论和应用国际研讨会上。
-
I.Lanese、C.A.Mezzina和J.-B.Stefani。 反转高阶π。 《并发理论》，第21届国际会议，CONCUR’10，第478-493页。 施普林格，2010年。
-
J.-J.Lévy。 λ-演算的最佳减少。 编辑J.P.Seldin和J.R.Hindley，To H.B.Curry：组合逻辑、Lambda微积分和形式主义论文，159-191页。 学术出版社，纽约，纽约，美国。
-
R.Milner。 通信和移动系统：π演算。 剑桥大学出版社，英国剑桥，1999年。
-
D.P.Mohapatra、Rajib Mall和Rajeev Kumar。 一种有效的并发Java程序动态切片技术。 《应用计算》，LNCS第3285卷，第255-262页。 施普林格，2004年。
-
R.Perera、U.A.Acar、J.Cheney和P.B.Levy。 解释其工作的功能程序。第17届ACM SIGPLAN功能程序国际会议，ICFP’12，第365-376页。 ACM，2012年。
-
R.Perera和J.Cheney。 相关pi-calculus证明，2016年。 提交给计算机科学中的数学结构。 网址： http://arxiv.org/abs/1604.04575 。 -
I.Souilah、A.Francalanza和V.Sassone。 分布式系统起源的形式化模型。 在TAPP 2009中，美国加利福尼亚州伯克利，2009年。 USENIX协会。
-
S.Tallam、C.Tian和R.Gupta。 用于竞赛检测的多线程程序的动态切片。 第24届IEEE软件维护国际会议（ICSM 2008），第97-106页。 IEEE，2008年。
-
M.Weiser。 程序切片。 第五届国际软件工程会议论文集，ICSE’81，第439-449页，美国新泽西州皮斯卡塔韦，1981年。 IEEE出版社。