×
Atsushi Igarashi；直纪小林

具有I/O子类型的线性\（\pi\）演算的类型重建。 （英语） Zbl 1046.68620号

Inf.计算。 161，第1期，1-44页（2000年）.
摘要：在最近的并发语言和线程库中，强大的并发原语为并发对象等高级功能的实现提供了极大的灵活性。然而，它们是如此低级，以至于常常难以检查程序的全局正确性或执行重要的代码优化，例如消除冗余通信。为了克服这些问题，最近研究了用于输入/输出通道和线性（使用）通道的高级类型系统，但这些类型系统的类型重建问题仍然是开放的，因此，它们在并发编程语言中的应用受到了限制。在本文中，我们开发了Kobayashi、Pierce和Turner线性通道类型系统的变体的类型重建算法，并使用Pierce和Sangiorgi基于仅输入/仅输出通道类型的子类型，证明了算法的正确性。据我们所知，对于这些类型的系统，以前还没有完整的类型重建算法。我们实现了其中一个算法，并将其并入并发语言HACL的编译器中。本文还展示了该算法的一些实验结果及其在编译时优化中的应用。

引用于10文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68甲15 编程语言理论

关键词：

并发语言；编译时优化

软件：

ABCL公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Igarashi}和\textit{N.Kobayashi}，Inf.Comput。161，编号1，1-44（2000；Zbl 1046.68620）
全文： 内政部 链接

参考文献：

[1] Appel，A.W.，《继续汇编》（1992），剑桥大学出版社：剑桥大学出版社
[2] Colby，C.，分析并发程序的通信拓扑，ACM SIGPLAN部分评估和基于语义的程序操作研讨会（1995），第202-213页
[3] Fuh，Y.C。；Mishra，P.，《带有子类型的类型推断》，Theoret。计算。科学。，73, 155-175 (1990) ·Zbl 0701.68012号
[4] Gay，S.J.，《多元π演算的排序推理算法》，ACM SIGACT/SIGPLAN编程语言原理研讨会（1993），第429-438页
[5] Igarashi，A.，基于类型的并发编程语言值使用分析（1997），东京大学
[6] Igarashi，A。；小林，N.，并发编程语言通信的基于类型的分析，第四届国际静态分析研讨会（SAS’97）。第四届国际静态分析研讨会（SAS’97），《计算机科学讲义》，1302（1997），柏林斯普林格·弗拉格出版社，第187-201页
[7] 小林，N。；Nakade，M。；Yonezawa，A.，异步并发编程语言通信的静态分析，第二届国际静态分析研讨会（SAS’95）。第二届国际静态分析研讨会（SAS’95），《计算机科学讲义》，983（1995），柏林斯普林格大学出版社，第225-242页
[8] 小林，N.，《部分无死锁型过程演算》，ACM Trans。编程语言系统，20436-482（1998）
[9] 小林，N。；皮尔斯，公元前。；Turner，D.N.，线性和pi-calculus，ACM SIGACT/SIGPLAN编程语言原理研讨会（1996），第358-371页
[10] 小林，N。；Yonezawa，A.，高阶并行线性逻辑编程，并行编程理论与实践。并行编程理论与实践，计算机科学讲义，907（1995），Springer-Verlag:Springer-Verlag Berlin，第137-166页
[11] Mercouroff，N.，《分析通信过程的算法》（Brookes，S.；Main，M.；Melton，M.）；Mislove，M.，Schmidt，D.，《程序设计语义的数学基础》，计算机科学讲义，598（1991），Springer-Verlag:Springer-Verlag Berlin），312-325·Zbl 1518.68042号
[12] Milner，R.，多元\（π\）-微积分：教程，（Bauer，F.L.；Brauwer，W.；Schwichtenberg，H.，逻辑与代数规范（1993），施普林格出版社：施普林格出版社，柏林）
[13] 尼尔森，H.R。；Nielson，F.，有限通信拓扑的高阶并发程序，ACM SIGACT/SIGPLAN编程语言原理研讨会（1994），第84-97页
[14] 尼尔森，H.R。；Nielson，F.，《高阶并发语言的静态和动态处理器分配》，TAPSOFT’95：软件开发理论与实践。TAPSOFT’95：软件开发的理论与实践，《计算机科学讲义》（1995），施普林格出版社：施普林格出版社，柏林，第590-604页·Zbl 1496.68113号
[15] 皮尔斯，公元前。；Sangiorgi，D.，移动进程的类型和子类型，IEEE计算机科学逻辑研讨会（1996），第376-385页·Zbl 0861.68030号
[16] 皮尔斯，公元前。；Sangiorgi，D.，多态pi演算中的行为等价，ACM SIGACT/SIGPLAN编程语言原理研讨会，法国巴黎，1997年1月（1997年），第242-255页
[17] 皮尔斯，公元前。；特纳，D.N.，《技术报告》（1997年）
[18] Reppy，J.H.，CML:一种高阶并发语言，《ACM SIGPLAN’91编程语言设计与实现会议论文集》（1991），第293-305页
[19] Robinson，J.A.，《基于归结原理的面向机器的逻辑》，J.Assoc.Compute。机器。，12 (1965) ·Zbl 0139.12303号
[20] Tarditi，D。；Acharya，A。；Lee，P.，技术报告（1990）
[21] 特纳，D.N。；Wadler，P。；Mossin，C.，《Once on a type，函数式编程语言和计算机体系结构》（1995），第1-11页
[22] Vasconselos，V.T。；Honda，K.，《多元（π）演算中的Principle类型方案》，CONCUR’93。CONCUR’93，计算机科学讲义，715（1993），Springer-Verlag:Springer-Verlag Berlin，p.524-538
[23] Yonezawa，A.，ABCL:一个面向对象的并发系统（1990），麻省理工学院出版社：麻省理学学院出版社剑桥
[24] Yonezawa，A。；Tokoro，M.，面向对象并发编程（1987），麻省理工学院出版社：麻省理学学院出版社剑桥
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。