Bernd Krieg-Brückner
Selected Papers of the Fourth European Symposium on Programming
ESOP-J-1992, 1994.

@proceedings{ESOP-J-1992,
	editor        = "Bernd Krieg-Brückner",
	journal       = "{Science of Computer Programming}",
	number        = 3,
	title         = "{Selected Papers of the Fourth European Symposium on Programming}",
	volume        = 22,
	year          = 1994,
}

Contents (7 items)

2 ×#abstract interpretation

ESOP-J-1992-Danvy94

Back to Direct Style (OD), pp. 183–195.

ESOP-J-1992-Henglein94 #dynamic typing #proving #syntax #type system

Dynamic Typing: Syntax and Proof Theory (FH), pp. 197–230.

ESOP-J-1992-Jones94 #formal method

A Theory of Qualified Types (MPJ), pp. 231–256.

ESOP-J-1992-Larcheveque94 #interprocedural #object-oriented

Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 257–282.

ESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint

Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.

ESOP-J-1992-HughesL94 #abstract interpretation

Reversing Abstract Interpretations (JH, JL), pp. 307–326.

ESOP-J-1992-NielsonN94 #analysis

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