Bernd Krieg-Brückner
Proceedings of the Fourth European Symposium on Programming
ESOP, 1992.

@proceedings{ESOP-1992,
	address       = "Rennes, France",
	editor        = "Bernd Krieg-Brückner",
	isbn          = "3-540-55253-7",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth European Symposium on Programming}",
	volume        = 582,
	year          = 1992,
}

Contents (28 items)

3 ×#abstract interpretation
3 ×#semantics
3 ×#type system
2 ×#incremental
2 ×#lazy evaluation
2 ×#multi
2 ×#proving
2 ×#specification

ESOP-1992-Andersen #graph #model checking

Model Checking and Boolean Graphs (HRA), pp. 1–19.

ESOP-1992-BenvenisteBG #hybrid #realtime

SIGNAL as a Model for Real-Time and Hybrid Systems (AB, MLB, PLG), pp. 20–38.

ESOP-1992-BernotBK #towards

Towards an Adequate Notion of Observation (GB, MB, TK), pp. 39–55.

ESOP-1992-BernsteinRS #proving #safety

Proving Safety of Speculative Load Instructions at Compile Time (DB, MR, SS), pp. 56–72.

ESOP-1992-BossiCF

Typed Norms (AB, NC, MF), pp. 73–92.

ESOP-1992-ChenM #composition #multi

Compositional Refinements in Multiple Blackboard Systems (XJC, CM), pp. 93–109.

ESOP-1992-Chuang #array #incremental #performance #persistent

Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads (TRC), pp. 110–129.

ESOP-1992-Danvy

Back to Direct Style (OD), pp. 130–150.

ESOP-1992-DohS #action semantics #semantics #type system

Extraction of Strong Typing Laws from Action Semantics Definitions (KGD, DAS), pp. 151–166.

ESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection

Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.

ESOP-1992-Gnaedig #proving #specification #theorem proving

ELIOS-OBJ Theorem Proving in a Specification Language (IG), pp. 182–199.

ESOP-1992-Goldberg #garbage collection #incremental

Incremental Garbage Collection Without Tags (BG), pp. 200–218.

ESOP-1992-HankinH #abstract interpretation #approximate #fixpoint

Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.

ESOP-1992-Henglein #dynamic typing #type system

Dynamic Typing (FH), pp. 233–253.

ESOP-1992-HogenKL #automation #functional #lazy evaluation #parallel #source code

Automatic Parallelization of Lazy Functional Programs (GH, AK, RL), pp. 254–268.

ESOP-1992-HughesL #abstract interpretation

Reversing Abstract Interpretations (JH, JL), pp. 269–286.

ESOP-1992-Jones #formal method

A Theory of Qualified Types (MPJ), pp. 287–306.

ESOP-1992-Krishnan #multi #semantics

A Semantics for Multiprocessor Systems (PK), pp. 307–320.

ESOP-1992-Larcheveque #interprocedural #object-oriented

Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 321–340.

ESOP-1992-Levaire #case study #programming #using

Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study (JLL), pp. 341–350.

ESOP-1992-NielsonN #analysis

The Tensor Product in Wadler’s Analysis of Lists (FN, HRN), pp. 351–370.

ESOP-1992-NieuwenhuisR

Basic Superposition is Complete (RN, AR), pp. 371–389.

ESOP-1992-Odersky #linear

Observers for Linear Types (MO), pp. 390–407.

ESOP-1992-OKeefeW #decidability #type inference

Type Inference for Partial Types is Decidable (PO, MW), pp. 408–417.

ESOP-1992-Palsberg #compilation #generative

A Provably Correct Compiler Generator (JP), pp. 418–434.

ESOP-1992-PurushothamanS #evaluation #lazy evaluation #semantics

An Adequate Operational Semantics for Sharing in Lazy Evaluation (SP, JS), pp. 435–450.

ESOP-1992-Tarlecki #specification

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft (AT), pp. 451–472.

ESOP-1992-Wright #type system

Typing References by Effect Inference (AKW), pp. 473–491.