David B. MacQueen, Luca Cardelli
Proceedings of the 25th Symposium on Principles of Programming Languages
POPL, 1998.

@proceedings{POPL-1998,
	acmid         = "268946",
	address       = "San Diego, California, USA",
	editor        = "David B. MacQueen and Luca Cardelli",
	isbn          = "0-89791-979-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th Symposium on Principles of Programming Languages}",
	year          = 1998,
}

Contents (32 items)

7 ×#analysis
3 ×#higher-order
3 ×#parallel
3 ×#type inference
3 ×#type system
2 ×#alias
2 ×#calculus
2 ×#correctness
2 ×#data flow
2 ×#imperative

POPL-1998-HannanH #higher-order

Higher-Order unCurrying (JH, PH), pp. 1–11.

POPL-1998-DebrayMW #alias #analysis #execution

Alias Analysis of Executable Code (SKD, RM, MW), pp. 12–24.

POPL-1998-Blanchet #analysis #correctness #implementation #proving

Escape Analysis: Correctness Proof, Implementation and Experimental Results (BB), pp. 25–37.

POPL-1998-Schmidt #abstract interpretation #analysis #data flow #model checking

Data Flow Analysis is Model Checking of Abstract Interpretations (DAS), pp. 38–48.

POPL-1998-JonesSLT #haskell #ml

Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.

POPL-1998-AriolaS #calculus #call-by #correctness #imperative #monad

Correctness of Monadic State: An Imperative Call-by-Need Calculus (ZMA, AS), pp. 62–74.

POPL-1998-Minamide #data type #functional #representation

A Functional Representation of Data Structures with a Hole (YM), pp. 75–84.

POPL-1998-MorrisettWCG #assembly #system f

From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.

POPL-1998-BarthouCC

Maximal Static Expansion (DB, AC, JFC), pp. 98–106.

POPL-1998-KnobeS #array #parallel

Array SSA Form and Its Use in Parallelization (KK, VS), pp. 107–120.

POPL-1998-GhiyaH #analysis #pointer

Putting Pointer Analysis to Work (RG, LJH), pp. 121–133.

POPL-1998-BallMS #profiling

Edge Profiling versus Path Profiling: The Showdown (TB, PM, SS), pp. 134–148.

POPL-1998-StataA #bytecode #java #type system

A Type System for Java Bytecode Subroutines (RS, MA), pp. 149–160.

POPL-1998-NipkowO #java #type safety

JavaNone is Type-Safe — Definitely (TN, DvO), pp. 161–170.

POPL-1998-FlattKF #mixin

Classes and Mixins (MF, SK, MF), pp. 171–183.

POPL-1998-CollbergTL

Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs (CSC, CDT, DL), pp. 184–196.

POPL-1998-PalsbergP

From Polyvariant Flow Information to Intersection and Union Types (JP, CP), pp. 197–208.

POPL-1998-Jensen #polymorphism #strict

Inference of Polymorphic and Conditional Strictness Properties (TPJ), pp. 209–221.

POPL-1998-DeFouwGC #analysis #interprocedural #performance

Fast Interprocedural Class Analysis (GD, DG, CC), pp. 222–236.

POPL-1998-BodikA #analysis

Path-Sensitive Value-Flow Analysis (RB, SA), pp. 237–251.

POPL-1998-PierceT #type inference

Local Type Inference (BCP, DNT), pp. 252–265.

POPL-1998-Nishimura #static typing #type system

Static Typing for Dynamic Messages (SN), pp. 266–278.

POPL-1998-Schubert #higher-order #morphism #polymorphism #type inference #unification

Second-Order Unification and Type Inference for Church-Style Polymorphism (AS), pp. 279–288.

POPL-1998-ShieldsSJ #dynamic typing #staged #type inference #type system

Dynamic Typing as Staged Type Inference (MS, TS, SLPJ), pp. 289–302.

POPL-1998-AspertiM #parallel #recursion #reduction

Parallel β Reduction is not Elementary Recursive (AA, HGM), pp. 303–315.

POPL-1998-HuTC #parallel

Parallelization in Calculational Forms (ZH, MT, WNC), pp. 316–328.

POPL-1998-JagannathanTWW #alias #analysis #higher-order

Single and Loving It: Must-Alias Analysis for Higher-Order Languages (SJ, PT, SW, AKW), pp. 329–341.

POPL-1998-AikenG

Barrier Inference (AA, DG), pp. 342–354.

POPL-1998-SmithV #concurrent #data flow #imperative #multi #thread

Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.

POPL-1998-HeintzeR #calculus #programming

The SLam Calculus: Programming with Secrecy and Integrity (NH, JGR), pp. 365–377.

POPL-1998-RielyH #distributed #mobile #process

A Typed Language for Distributed Mobile Processes (JR, MH), pp. 378–390.

POPL-1998-LeroyR #security

Security Properties of Typed Applets (XL, FR), pp. 391–403.