Programming Languages and Systems - ESOP '96, Vol. 105 Book

	Some Practical Problems and their Influence on Semantics	1
	Compiling Haskell by Program Transformation: A Report from the Trenches	18
	Narrowing-Driven Partial Evaluation of Functional Logic Programs	45
	A Multiple-Valued Logical Semantics for Prolog	62
	Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages	77
	A Complete Transformational Toolkit for Compilers	92
	Global Analysis of Standard Prolog Programs	108
	Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm	125
	Compositional Optimization of Disjunctive Abstract Interpretations	141
	A Rewriting Logic for Declarative Programming	156
	Durations for Truly-concurrent Transitions	173
	Flow Analysis in the Geometry of Interaction	188
	Parametricity and Unboxing with Unpointed Types	204
	Modular Denotational Semantics for Compiler Construction	219
	Compositional Semantics of Non-Deterministic Synchronous Languages	235
	Checking System Properties via Integer Programming	250
	Efficient Minimization up to Location Equivalence	265
	A New Approach to Compiling Adaptive Programs	280
	Mode and Termination Checking for Higher-Order Logic Programs	296
	Linear Time Hierarchies for a Functional Language Machine Model	311
	Integer Constraints to Stop Deforestation	326
	Towards an ML-Style Polymorphic Type System for C	341
	Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness	356
	Towards an Expressive Language for PDE Solvers	373
	Rewrite Systems with Abstraction and [beta]-rule: Types, Approximants and Normalization	387
	Author Index	405