马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;吉田、Nobuko 面向对象语言的异步会话类型和进度。 （英语） Zbl 1202.68094号 Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468，1-31（2007）。 摘要：会话类型是通过一个通道在两个通信进程之间发送的一系列异类值的抽象。引入会话类型是为了保证交换数据的一致性，以及最近会话的进展，即一旦建立了通信，格式良好的程序就不会在通信点上挨饿。影响进展的一个相关特征是通信是同步的还是异步的。在本文中，我们首先构建了一种具有线程生成、迭代和高阶会话的类型化异步多线程面向对象语言。然后我们通过一个新的效果系统来研究它的进展。据我们所知，我们的系统是第一个确保异步通信进展的会话型系统。关于整个系列，请参见[Zbl 1118.68002号]. 引用于15文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 68甲15 编程语言理论 软件：美赞臣;轻量级Java PDF格式BibTeX公司 XML格式引用 \textit{M.Coppo}等人，Lect。注释计算。科学。4468，1--31（2007；Zbl 1202.68094） 全文： 内政部 链接 参考文献： [1] Bierman，G.，Parkinson，M.，Pitts，A.：MJ：Java和Java的强制核心微积分及其效果。剑桥大学计算机实验室技术报告563（2003） [2] Bonelli，E.，Compagnoni，A.，Gunter，E.：并发通信中进程同步的断言。函数编程杂志15（2），219–248（2005）·Zbl 1077.68605号 ·网址：10.1017/S095679680400543X [3] Carbone，M.，Honda，K.，Yoshida，N.：以通信为中心的并发编程的理论基础。Web服务编排工作组邮件列表，显示为WS-CDL工作报告 [4] Carbone，M.、Honda，K.、Yoshida，N.：面向Web服务的结构化通信中心编程。In:2007年员工持股计划。LNCS、Springer、Heidelberg（即将上市，2007年）·Zbl 1187.68064号 [5] Dezani-Ciancaglini，M.，Drossopoulou，S.，Giachino，E.，Yoshida，N.：面向对象语言的有界会话类型（2007），网址：http://www.di.unito.it/德扎尼/papers/ddgy.pdf·Zbl 1147.68445号 [6] Dezani-Ciancaglini，M.，Mostrous，D.，Yoshida，N.，Drossopoulou，S.：面向对象语言的会话类型。摘自：Thomas，D.（编辑）ECOOP 2006。LNCS，第4067卷，第328-352页。斯普林格，海德堡（2006）·Zbl 1183.68358号 ·doi:10.1007/11785477_20 [7] Dezani-Ciancaglini，M.，Yoshida，N.，Ahern，A.，Drossopoulou，S.：一种具有会话类型的分布式面向对象语言。收录人：Nicola，R.D.，Sangiorgi，D.（编辑）TGC 2005。LNCS，第3705卷，第299-318页。施普林格，海德堡（2005）·Zbl 1151.68347号 ·doi:10.1007/11580850_16 [8] Drossopoulou，S.：面向对象语言的高级问题课程笔记。网址：http://www.doc.ic.ac.uk/scd/教学/AdvOO.html [9] Fähndrich，M.、Aiken，M.、Hawblitzel，C.、Hodson，O.、Hunt，G.C.、Larus，J.R.、Levi，S.：奇点操作系统中基于消息的快速可靠通信的语言支持。摘自：Zwaenepoel，W.（编辑）EuroSys2006，ACM SIGOPS，第177-190页。ACM出版社，纽约（2006） [10] Garralda，P.，Compagnoni，A.，Dezani-Ciancaglini，M.：BASS：安全会议的盒装环境。摘自：Maher，M.（编辑）PPDP'06，第61-72页。ACM出版社，纽约（2006） [11] Gay，S.，Hole，M.：Pi-Calculus中会话类型的子类型。信息学报42（2/3），191–225（2005）·Zbl 1079.68065号 ·doi:10.1007/s00236-005-0177-z [12] Gay，S.、Vasconcelos，V.T.：功能性会话类型的新方法（2006），网址：http://www.di.fc.ul.pt/vv/papers/gay.vasconcelos:new-functional-sessions.pdf [13] Gay，S.、Vasconcelos，V.T.、Ravara，A.：进程间通信的会话类型。TR 2003-133，格拉斯哥大学计算机系（2003）·Zbl 1099.68677号 [14] Honda，K.：二元交互类型。收录：Best，E.（编辑）CONCUR 1993。LNCS，第715卷，第509-523页。斯普林格，海德堡（1993）·Zbl 0939.68642号 ·doi:10.1007/3-540-57208-235 [15] Honda，K.：作曲过程。摘自：Steele，G.L.（编辑）POPL'96，第344-357页。ACM出版社，纽约（1996） [16] Honda，K.，Vasconcelos，V.T.，Kubo，M.：结构化通信编程的语言原语和类型规则。摘自：Hankin，C.（编辑）1998年ESOP和ETAPS 1998。LNCS，第1381卷，第22-138页。斯普林格，海德堡（1998）·doi:10.1007/BFb0053567 [17] Honda，K.、Yoshida，N.、Carbone，M.：网络服务、移动流程和类型。EATCS公告（将于2007年发布）·Zbl 1187.68064号 [18] Igarashi，A.，Pierce，B.C.，Wadler，P.：轻量级Java：Java和GJ的最小核心微积分。ACM TOPLAS 23（3），396–450（2001）·Zbl 05459286号 ·doi:10.1145/503502.503505 [19] 《Java教程：关于套接字的一切》。http://java.sun.com/docs/books/教程/网络/套接字/ [20] 美国微系统公司新的IO API。http://java.sun.com/j2se/1.4.2/docs/guide/nio/索引html [21] Milner，R.，Parrow，J.，Walker，D.：流动过程微积分，第一部分和第二部分。信息与计算100（1）（1992）·Zbl 0752.68037号 [22] Neubauer，M.，Thiemann，P.：异步通信的会话类型。弗莱堡大学（2004） [23] 不列颠哥伦比亚省皮尔斯：类型和编程语言。麻省理工学院出版社，马萨诸塞州剑桥（2002）·Zbl 0995.68018号 [24] Sparkes，S.：与Steve Ross-Talbot的对话。ACM队列4（2），14-23（2006）·Zbl 05439989号 ·数字对象标识代码：10.1145/1122674.1122684 [25] Takeuchi，K.，Honda，K.Kubo，M.：一种基于交互的语言及其打字系统。收录于：Halatsis，C.，Philokyprou，G.，Maritsas，D.，Theodoridis，S.（编辑）PARLE 1994。LNCS，第817卷，第398–413页。斯普林格，海德堡（1994）·doi:10.1007/3-540-58184-7_118 [26] Vallecillo，A.、Vasconcelos，V.T.、Ravara，A.：使用会话类型键入对象和组件的行为。收录：Brogi，A.，Jacquet，J.-M.（编辑）FOCLASA'02。ENTCS，第68（3）卷，第439–456页。Elsevier，阿姆斯特丹（2002）·Zbl 1114.68384号 [27] Vasconcelos，V.T.，Gay，S.，Ravara，A.：使用会话类型对多线程函数语言进行类型检查。理论计算机科学368（1-2），64–87（2006）·Zbl 1171.68410号 ·doi:10.1016/j.tcs.2006.06.028 [28] Web服务编排工作组。Web服务编排描述语言。http://www.w3.org/2002/ws/chor/ [29] Yoshida，N.，Vasconcelos，V.T.：《基于结构化交际的编程的语言原语和类型规则》（Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited）。包含：2006年第二季度。ENTCS，Elsevier，阿姆斯特丹（将于2007年上市） 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。