Chris Hankin
Proceedings of the Seventh European Symposium on Programming
ESOP, 1998.

@proceedings{ESOP-1998,
	address       = "Lisbon, Portugal",
	editor        = "Chris Hankin",
	isbn          = "3-540-64302-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh European Symposium on Programming}",
	volume        = 1381,
	year          = 1998,
}

Contents (18 items)

3 ×#logic
2 ×#analysis
2 ×#concurrent
2 ×#constraints
2 ×#functional
2 ×#object-oriented
2 ×#programming

ESOP-1998-Smolka #concurrent #constraints #functional #programming

Concurrent Constraint Programming Based on Functional Programming (GS), pp. 1–11.

ESOP-1998-AbadiG #bisimulation #encryption #protocol

A Bisimulation Method for Cryptographic Protocols (MA, ADG), pp. 12–26.

ESOP-1998-BruynoogheLS #analysis #deduction

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction (MB, ML, KFS), pp. 27–41.

ESOP-1998-CairesM #concurrent #execution #logic #specification

Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi (LC, LM), pp. 42–56.

ESOP-1998-ChatterjeeRL #complexity #exception

Complexity of Concrete Type-Inference in the Presence of Exceptions (RC, BGR, WL), pp. 57–74.

ESOP-1998-ChinKL #analysis

Synchronisation Analysis to Stop Tulping (WNC, SCK, TWL), pp. 75–89.

ESOP-1998-FechtS #algorithm #constraints #difference #fixpoint #performance

Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems (CF, HS), pp. 90–104.

ESOP-1998-HenselHJT #logic #modelling #object-oriented #tool support

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (UH, MH, BJ, HT), pp. 105–121.

ESOP-1998-HondaVK #programming

Language Primitives and Type Discipline for Structured Communication-Based Programming (KH, VTV, MK), pp. 122–138.

ESOP-1998-JayS #exclamation #functional #imperative

The Functional Imperative: Shape! (CBJ, PS), pp. 139–153.

ESOP-1998-KnoopRS #question

Code Motion and Code Placement: Just Synonyms? (JK, OR, BS), pp. 154–169.

ESOP-1998-Leino #logic #object-oriented #recursion #source code

Recursive Object Types in a Logic of Object-Oriented Programs (KRML), pp. 170–184.

ESOP-1998-MaraninchiR #named

Mode-Automata: About Modes and States for Reactive Systems (FM, YR), pp. 185–199.

ESOP-1998-Remy #type system

From Classes to Objects via Subtyping (DR), pp. 200–220.

ESOP-1998-RossS #alias #dependence #pointer

Building a Bridge between Pointer Aliases and Program Dependences (JLR, SS), pp. 221–235.

ESOP-1998-Ruggieri #debugging #declarative

A Complete Declarative Debugger of Missing Answers (SR), pp. 236–251.

ESOP-1998-Scherlis #case study #data transformation #representation

Systematic Change of Data Representation: Program Manipulations and a Case Study (WLS), pp. 252–266.

ESOP-1998-Thiemann #framework

A Generic Framework for Specialization (Abridged Version) (PT), pp. 267–281.