Hanne Riis Nielson
Proceedings of the Sixth European Symposium on Programming
ESOP, 1996.

@proceedings{ESOP-1996,
	address       = "Linköping, Sweden",
	editor        = "Hanne Riis Nielson",
	isbn          = "3-540-61055-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth European Symposium on Programming}",
	volume        = 1058,
	year          = 1996,
}

Contents (25 items)

4 ×#compilation
4 ×#semantics
4 ×#source code
3 ×#composition
2 ×#analysis
2 ×#functional
2 ×#integer
2 ×#logic
2 ×#logic programming
2 ×#partial evaluation

ESOP-1996-Jones #problem #semantics

Some Practical Problems and Their Influence on Semantics (CBJ), pp. 1–17.

ESOP-1996-Jones96a #compilation #haskell #program transformation

Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.

ESOP-1996-AlpuenteFV #functional #logic programming #partial evaluation #source code

Narrowing-Driven Partial Evaluation of Functional Logic Programs (MA, MF, GV), pp. 45–61.

ESOP-1996-BarbutiM #logic #multi #prolog #semantics

A Multiple-Valued Logical Semantics for Prolog (RB, PM), pp. 62–76.

ESOP-1996-Bechet #encoding #partial evaluation #using

Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.

ESOP-1996-BergstraDFH #compilation #tool support

A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.

ESOP-1996-BuenoGHP #analysis #prolog #source code #standard

Global Analysis of Standard Prolog Programs (FB, DCG, MVH, GP), pp. 108–124.

ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis

Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.

ESOP-1996-GiacobazziR #abstract interpretation #composition #optimisation

Compositional Optimization of Disjunctive Abstract Interpretations (RG, FR), pp. 141–155.

ESOP-1996-Gonzalez-MorenoHLR #declarative #logic #programming

A Rewriting Logic for Declarative Programming (JCGM, MTHG, FJLF, MRA), pp. 156–172.

ESOP-1996-Goubault #concurrent

Durations for Truly-Concurrent Transitions (EG), pp. 173–187.

ESOP-1996-JensenM #analysis #geometry #interactive

Flow Analysis in the Geometry of Interaction (TPJ, IM), pp. 188–203.

ESOP-1996-LaunchburyP #parametricity

Parametricity and Unboxing with Unpointed Types (JL, RP), pp. 204–218.

ESOP-1996-LiangH #compilation #composition #semantics

Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.

ESOP-1996-MaraninchiH #composition #nondeterminism #semantics

Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.

ESOP-1996-MelzerE #integer #programming

Checking System Properties via Integer Programming (SM, JE), pp. 250–264.

ESOP-1996-MontanariPY #equivalence #performance

Efficient Minimization up to Location Equivalence (UM, MP, DY), pp. 265–279.

ESOP-1996-PalsbergPL #adaptation #approach #compilation #source code

A New Approach to Compiling Adaptive Programs (JP, BPS, KJL), pp. 280–295.

ESOP-1996-RohwedderP #higher-order #logic programming #source code #termination

Mode and Termination Checking for Higher-Order Logic Programs (ER, FP), pp. 296–310.

ESOP-1996-Rose #functional #linear

Linear Time Hierarchies for a Functional Language Machine Model (ER), pp. 311–325.

ESOP-1996-Seidl #constraints #deforestation #integer

Integer Constraints to Stop Deforestation (HS), pp. 326–340.

ESOP-1996-SmithV #c #polymorphism #towards #type system

Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.

ESOP-1996-Stolen #data flow #network

Assumption/Commitment Rules for Dataflow Networks — With an Emphasis on Completeness (KS), pp. 356–372.

ESOP-1996-ThuneA #towards

Towards an Expressive Language for PDE Solvers (MT, KÅ), pp. 373–386.

ESOP-1996-BakelBF #abstraction #normalisation #term rewriting

Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.