default search action

combined dblp search
author search
venue search
publication search

ask others

7. ESOP 1998: Lisbon, Portugal (Part of ETAPS 1998)

> Home > Conferences and Workshops > ESOP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/esop/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/1998
Chris Hankin:
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

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/esop/Smolka98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Smolka98
Gert Smolka:
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract). 1-11

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/esop/AbadiG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AbadiG98
Martín Abadi, Andrew D. Gordon:
A Bisimulation Method for Cryptographic Protocols. 12-26
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BruynoogheLS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BruynoogheLS98
Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas:
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. 27-41
- view
  authority control:
- export record
  dblp key:
  - conf/esop/CairesM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CairesM98
Luís Caires, Luís Monteiro:
Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi. 42-56
- view
  authority control:
- export record
  dblp key:
  - conf/esop/ChatterjeeRL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ChatterjeeRL98
Ramkrishna Chatterjee, Barbara G. Ryder, William Landi:
Complexity of Concrete Type-Inference in the Presence of Exceptions. 57-74
- view
  authority control:
- export record
  dblp key:
  - conf/esop/ChinKL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ChinKL98
Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee:
Synchronisation Analysis to Stop Tulping. 75-89
- view
  authority control:
- export record
  dblp key:
  - conf/esop/FechtS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FechtS98
Christian Fecht, Helmut Seidl:
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. 90-104
- view
  authority control:
- export record
  dblp key:
  - conf/esop/HenselHJT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HenselHJT98
Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews:
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. 105-121
- view
  authority control:
- export record
  dblp key:
  - conf/esop/HondaVK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HondaVK98
Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo:
Language Primitives and Type Discipline for Structured Communication-Based Programming. 122-138
- view
  authority control:
- export record
  dblp key:
  - conf/esop/JayS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JayS98
C. Barry Jay, Paul Steckler:
The Functional Imperative: Shape! 139-153
- view
  authority control:
- export record
  dblp key:
  - conf/esop/KnoopRS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KnoopRS98
Jens Knoop, Oliver Rüthing, Bernhard Steffen:
Code Motion and Code Placement: Just Synonyms? 154-169
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Leino98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Leino98
K. Rustan M. Leino:
Recursive Object Types in a Logic of Object-Oriented Programs. 170-184
- view
  authority control:
- export record
  dblp key:
  - conf/esop/MaraninchiR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/MaraninchiR98
Florence Maraninchi, Yann Rémond:
Mode-Automata: About Modes and States for Reactive Systems. 185-199
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Remy98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Remy98
Didier Rémy:
From Classes to Objects via Subtyping. 200-220
- view
  authority control:
- export record
  dblp key:
  - conf/esop/RossS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/RossS98
John L. Ross, Shmuel Sagiv:
Building a Bridge between Pointer Aliases and Program Dependences. 221-235
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Ruggieri98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Ruggieri98
Salvatore Ruggieri:
A Complete Declarative Debugger of Missing Answers. 236-251
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Scherlis98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Scherlis98
William L. Scherlis:
Systematic Change of Data Representation: Program Manipulations and a Case Study. 252-266
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Thiemann98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Thiemann98
Peter Thiemann:
A Generic Framework for Specialization (Abridged Version). 267-281

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.