HLCL研讨会：高级并发编程语言和模型的设计与应用

理论计算机科学www.elsevier.com/locate/entcs前言第16卷第3Uwe Nestmann和Benjamin C. 皮尔斯摘要HLCL研讨会旨在汇集参与高级并发编程语言和模型的设计，开发，基础和应用的研究人员。编程模型应该简单、实用、高层次和有根据。这些特性允许严格的语言规范，并支持关于程序的正式和非正式推理。对于并发和分布式系统，对编程模型的研究推动了几种最新编程语言的设计，包括Erlang，ML版本，如CML，Facile和Haskell，以及明确为并发或分布式设计的语言，如Obliq，Oz，Pict和Join-Calculus语言。尽管这些语言设计背后的动机是多种多样的（从图形用户界面和多代理系统的开发到约束，实时和分布式编程），但合适的基础在风格和技术上非常相似，通常基于众所周知的用于移动进程的演算第一届HLCL研讨会由Benjamin Pierce和Matthew Hennessy于1995年10月在英国剑桥大学艾萨克 · 牛 顿 数 学 科 学 研 究 所 举 办 。 第 二 届 HLCLorkshop 于 1997 年 1 月 由 德 国MartinMüllerandJoachimNiehrenatDagstuhl组织，由Kohei Honda、Martin Odersky、BenjaminPierce、Gert Smolka和Phil Wadler担任主席。欲了解更多信息，请访问研讨会主页。除了在研讨会上提交的六篇论文外，本文集还包含了詹姆斯·E·史密斯的特邀演讲摘要白色（通用魔术，美国）。我们要感谢提交论文的作者、受邀演讲者和计划委员会成员对会议和本卷的贡献我们还要感谢BRICS印刷和Michael Mislove帮助编辑会议记录，ERCIM提供财政支持，INRIA的CONCUR组织委员会主办HLCL1571-066V. 在CCBY-NC-ND许可下开放访问。10.1016/S1571-0661（05）80567-5