Abstract is missing.
- Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)Gert Smolka. 1-11 [doi]
- A Bisimulation Method for Cryptographic ProtocolsMartín Abadi, Andrew D. Gordon. 12-26 [doi]
- A Polyvariant Binding-Time Analysis for Off-line Partial DeductionMaurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas. 27-41 [doi]
- Verifiable and Executable Logic Specifications of Concurrent Objects in L::pi::Luís Caires, Luís Monteiro. 42-56 [doi]
- Complexity of Concrete Type-Inference in the Presence of ExceptionsRamkrishna Chatterjee, Barbara G. Ryder, William Landi. 57-74 [doi]
- Synchronisation Analysis to Stop TulpingWei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee. 75-89 [doi]
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint SystemsChristian Fecht, Helmut Seidl. 90-104 [doi]
- Reasonong about Classess in Object-Oriented Languages: Logical Models and ToolsUlrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews. 105-121 [doi]
- Language Primitives and Type Discipline for Structured Communication-Based ProgrammingKohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo. 122-138 [doi]
- The Functional Imperative: Shape!C. Barry Jay, Paul Steckler. 139-153 [doi]
- Code Motion and Code Placement: Just Synonyms?Jens Knoop, Oliver Rüthing, Bernhard Steffen. 154-169 [doi]
- Recursive Object Types in a Logic of Object-Oriented ProgramsK. Rustan M. Leino. 170-184 [doi]
- Mode-Automata: About Modes and States for Reactive SystemsFlorence Maraninchi, Yann Rémond. 185-199 [doi]
- From Classes to Objects via SubtypingDidier Rémy. 200-220 [doi]
- Building a Bridge between Pointer Aliases and Program DependencesJohn L. Ross, Shmuel Sagiv. 221-235 [doi]
- A Complete Declarative Debugger of Missing AnswersSalvatore Ruggieri. 236-251 [doi]
- Systematic Change of Data Representation: Program Manipulations and a Case StudyWilliam L. Scherlis. 252-266 [doi]
- A Generic Framework for Specialization (Abridged Version)Peter Thiemann. 267-281 [doi]