Preface: Volume 41, Issue 2

Abstract

Listen

Translate article

This issue results from the 4th International Workshop on High-Level Concurrent Languages (HLCL 2000), held as a satellite event to PLI 2000 in Montreal, Canada, on September 20, 2000.The workshop is intended to bring together active researchers involved in the design, development, foundations, and applications of high-level concurrent (and distributed) programming languages and models. The theme is that such programming models should be simple, practical, high-level, and well-founded. These qualities allow rigorous language specifications and support both formal and informal reasoning about programs. For concurrent and distributed systems, research on programming models has driven the design of several recent programming languages including Erlang, CML, Facile, and Haskell, as well as languages explicitly designed for concurrency or distribution such as HACL, JoCaml, Obliq, Oz, (Nomadic) Pict, and TyCO. Although the motivations behind the design of these languages are diverse (ranging from the development of graphical user interfaces and multi-agent systems to constraint, real-time, and distributed programming), suitable foundations have turned out to be quite similar in style and technique, often based on variants of well-known calculi for mobile processes.Programme14.20-14.30Open14.30-15.20An Overview of Functional Nets. Invited Talk: Martin Odersky15.20-16.00Asynchronous Exceptions in Haskell. Simon Marlow, Simon Peyton-Jones, Andrew MoranBreak16.30-17.20A distributed programming language for building security infrastructures. Invited Talk: Trevor Jim17.20-18.00A Distributed Calculus with Local Areas of Communication. Tom Chothia and Ian Stark.CloseSubmissions were reviewed by the program committee; a preliminary proceedings containing the above was produced for the workshop. Of these, the paper by Chothia and Stark has been revised for inclusion in this issue.We are very grateful to Uwe Nestmann and Benjamin Pierce (HLCL Organizing Committee), Amy Felty (PLI Workshop Chair) and Mike Mislove (Managing Editor of ENTCS).Program CommitteeCedric Fournet (Microsoft Research UK)Alan Jeffrey (DePaul University, USA)Trevor Jim (ATT Labs, USA)Naoki Kobayashi (University of Tokyo, Japan)Uwe Nestmann (Aalborg University, Denmark)John Reppy (Bell Labs, USA) (Co-chair)Aleta Riccardi (Bell Labs, USA)Peter Sewell (University of Cambridge, UK) (Co-chair)Gert Smolka (Universität des Saarlandes, Germany)