Chris Hankin (Ed.): Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-64302-8
Invited Papers
- Gert Smolka: Concurrent Constraint Programming Based on Functional Programming (Extended Abstract). 1-11
Regular Papers
- Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas: A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. 27-41
- Luís Caires, Luís Monteiro: Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. 42-56
- Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Complexity of Concrete Type-Inference in the Presence of Exceptions. 57-74
- Christian Fecht, Helmut Seidl: Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. 90-104
- Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. 105-121
- Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo: Language Primitives and Type Discipline for Structured Communication-Based Programming. 122-138
- Jens Knoop, Oliver Rüthing, Bernhard Steffen: Code Motion and Code Placement: Just Synonyms? 154-169
- K. Rustan M. Leino: Recursive Object Types in a Logic of Object-Oriented Programs. 170-184
- Florence Maraninchi, Yann Rémond: Mode-Automata: About Modes and States for Reactive Systems. 185-199
- Didier Rémy: From Classes to Objects via Subtyping. 200-220
- John L. Ross, Shmuel Sagiv: Building a Bridge between Pointer Aliases and Program Dependences. 221-235
- Salvatore Ruggieri: A Complete Declarative Debugger of Missing Answers. 236-251
- William L. Scherlis: Systematic Change of Data Representation: Program Manipulations and a Case Study. 252-266
- Peter Thiemann: A Generic Framework for Specialization (Abridged Version). 267-281
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team