7. ESOP 1998:
Lisbon,
Portugal (Part of ETAPS 1998)
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.
Lecture Notes in Computer Science 1381 Springer 1998, ISBN 3-540-64302-8 BibTeX
@proceedings{DBLP:conf/esop/1998,
editor = {Chris Hankin},
title = {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},
booktitle = {ESOP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1381},
year = {1998},
isbn = {3-540-64302-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Regular Papers
- Martín Abadi, Andrew D. Gordon:
A Bisimulation Method for Cryptographic Protocols.
12-26
Electronic Edition (Springer LINK) BibTeX
- Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.
27-41
Electronic Edition (Springer LINK) BibTeX
- Luís Caires, Luís Monteiro:
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi.
42-56
Electronic Edition (Springer LINK) BibTeX
- Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
Complexity of Concrete Type-Inference in the Presence of Exceptions.
57-74
Electronic Edition (Springer LINK) BibTeX
- Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee:
Synchronisation Analysis to Stop Tulping.
75-89
Electronic Edition (Springer LINK) BibTeX
- Christian Fecht, Helmut Seidl:
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.
90-104
Electronic Edition (Springer LINK) BibTeX
- Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews:
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.
105-121
Electronic Edition (Springer LINK) BibTeX
- Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo:
Language Primitives and Type Discipline for Structured Communication-Based Programming.
122-138
Electronic Edition (Springer LINK) BibTeX
- C. Barry Jay, Paul Steckler:
The Functional Imperative: Shape!
139-153
Electronic Edition (Springer LINK) BibTeX
- Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Code Motion and Code Placement: Just Synonyms?
154-169
Electronic Edition (Springer LINK) BibTeX
- K. Rustan M. Leino:
Recursive Object Types in a Logic of Object-Oriented Programs.
170-184
Electronic Edition (Springer LINK) BibTeX
- Florence Maraninchi, Yann Rémond:
Mode-Automata: About Modes and States for Reactive Systems.
185-199
Electronic Edition (Springer LINK) BibTeX
- Didier Rémy:
From Classes to Objects via Subtyping.
200-220
Electronic Edition (Springer LINK) BibTeX
- John L. Ross, Shmuel Sagiv:
Building a Bridge between Pointer Aliases and Program Dependences.
221-235
Electronic Edition (Springer LINK) BibTeX
- Salvatore Ruggieri:
A Complete Declarative Debugger of Missing Answers.
236-251
Electronic Edition (Springer LINK) BibTeX
- William L. Scherlis:
Systematic Change of Data Representation: Program Manipulations and a Case Study.
252-266
Electronic Edition (Springer LINK) BibTeX
- Peter Thiemann:
A Generic Framework for Specialization (Abridged Version).
267-281
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:10:49 2009
by Michael Ley (ley@uni-trier.de)