Hans-Juergen Boehm, Guy L. Steele Jr.
Conference Record of the 23rd Symposium on Principles of Programming Languages
POPL, 1996.

@proceedings{POPL-1996,
	acmid         = "237721",
	address       = "St. Petersburg Beach, Florida, USA",
	editor        = "Hans-Juergen Boehm and Guy L. Steele Jr.",
	isbn          = "0-89791-769-3",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 23rd Symposium on Principles of Programming Languages}",
	year          = 1996,
}

Contents (34 items)

4 ×#analysis
2 ×#c
2 ×#calculus
2 ×#concurrent
2 ×#optimisation
2 ×#performance
2 ×#source code
2 ×#using

POPL-1996-GhiyaH #analysis #c #graph #pointer

Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.

POPL-1996-SagivRW #problem

Solving Shape-Analysis Problems in Languages with Destructive Updating (SS, TWR, RW), pp. 16–31.

POPL-1996-Steensgaard #analysis #linear #points-to

Points-to Analysis in Almost Linear Time (BS), pp. 32–41.

POPL-1996-Jim #question #what

What Are Principal Typings and What Are They Good For? (TJ), pp. 42–53.

POPL-1996-OderskyL

Putting Type Annotations to Work (MO, KL), pp. 54–67.

POPL-1996-Jones #composition #using

Using Parameterized Signatures to Express Modular Structure (MPJ), pp. 68–78.

POPL-1996-JacksonJD #performance #specification

Faster Checking of Software Specifications by Eliminating Isomorphs (DJ, SJ, CD), pp. 79–90.

POPL-1996-GovindarajanJM #constraints #logic #optimisation

Optimization and Relaxation in Constraint Logic Languages (KG, BJ, SM), pp. 91–103.

POPL-1996-Pippenger #lisp

Pure versus Impure LISP (NP), pp. 104–109.

POPL-1996-Asperti #complexity #on the

On the Complexity of β-Reduction (AA), pp. 110–118.

POPL-1996-ProebstingW

Filter Fusion (TAP, SAW), pp. 119–130.

POPL-1996-EnglerHK #code generation #independence #performance

‘C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation (DRE, WCH, MFK), pp. 131–144.

POPL-1996-ConselN #approach #c #runtime

A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.

POPL-1996-LiuST #incremental

Discovering Auxiliary Information for Incremental Computation (YAL, SDS, TT), pp. 157–170.

POPL-1996-BirkedalTV #representation

From Region Inference to von Neumann Machines via Region Representation Inference (LB, MT, MV), pp. 171–183.

POPL-1996-Ashley #analysis #flexibility #higher-order

A Practical and Flexible Flow Analysis for Higher-Order Languages (JMA), pp. 184–194.

POPL-1996-ColbyL #program analysis

Trace-Based Program Analysis (CC, PL), pp. 195–207.

POPL-1996-GeorgeA

Iterated Register Coalescing (LG, AWA), pp. 208–218.

POPL-1996-HooverZ #compilation #generative #optimisation

Generating Machine Specific Optimizing Compilers (RH, FKZ), pp. 219–229.

POPL-1996-KurlanderF #interprocedural

Minimum Cost Interprocedural Register Allocation (SMK, CNF), pp. 230–241.

POPL-1996-Danvy #partial evaluation

Type-Directed Partial Evaluation (OD), pp. 242–257.

POPL-1996-DaviesP #analysis #staged

A Modal Analysis of Staged Computation (RD, FP), pp. 258–270.

POPL-1996-MinamideMH

Typed Closure Conversion (YM, JGM, RH), pp. 271–283.

POPL-1996-FegarasS #data type #embedded #morphism #source code

Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) (LF, TS), pp. 284–294.

POPL-1996-JonesGF #concurrent #haskell

Concurrent Haskell (SLPJ, ADG, SF), pp. 295–308.

POPL-1996-GreinerB #implementation #parallel

A Provably Time-Efficient Parallel Implementation of Full Speculation (JG, GEB), pp. 309–321.

POPL-1996-GuptaS #source code #static analysis

Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs (MG, ES), pp. 322–332.

POPL-1996-Niehren #concurrent #functional

Functional Computation as Concurrent Computation (JN), pp. 333–343.

POPL-1996-Honda #process

Composing Processes (KH), pp. 344–357.

POPL-1996-KobayashiPT #π-calculus

Linearity and the π-Calculus (NK, BCP, DNT), pp. 358–371.

POPL-1996-FournetG #calculus #reflexive

The Reflexive CHAM and the Join-Calculus (CF, GG), pp. 372–385.

POPL-1996-GordonR #calculus #first-order #similarity #type system

Bisimilarity for a First-Order Calculus of Objects with Subtyping (ADG, GDR), pp. 386–395.

POPL-1996-AbadiCV

An Interpretation of Objects and Object Types (MA, LC, RV), pp. 396–409.

POPL-1996-HughesPS #correctness #proving #using

Proving the Correctness of Reactive Systems Using Sized Types (JH, LP, AS), pp. 410–423.