Abstract is missing.
- Embedding Type Structure in SemanticsMitchell Wand. 1-6
- Declaration-Free Type CheckingPrateek Mishra, Uday S. Reddy. 7-21
- Types as IntervalsRobert Cartwright. 22-36
- Abstract Types Have Existential TypeJohn C. Mitchell, Gordon D. Plotkin. 37-51
- Principles of OBJ2Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer. 52-66
- Program Specification and Development in Standard MLDonald Sannella, Andrzej Tarlecki. 67-77
- What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified PriorityLeslie Lamport. 78-83
- Modalities for Model Checking: Branching Time Strikes BackE. Allen Emerson, Chin-Laung Lei. 84-96
- Checking That Finite State Concurrent Programs Satisfy Their Linear SpecificationOrna Lichtenstein, Amir Pnueli. 97-107
- Denotational Semantics and Rewrite Rules for FPJoseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler. 108-120
- A Model and Temporal Proof System for Networks of ProcessesVan Nguyen, David Gries, Susan S. Owicki. 121-131
- Logical and Mathematical Reasoning about Imperative ProgramsDaniel Leivant. 132-140
- A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based EditorsGregory F. Johnson, Charles N. Fischer. 141-151
- Incremental Compilation of Locally Optimized CodeLori L. Pollock, Mary Lou Soffa. 152-164
- A Greedy Approach to Incremental Code GenerationRay Ford, Duangkaew Sawamiphakdi. 165-178
- On Linearizing Parallel CodeJeanne Ferrante, Mary Mace. 179-189
- Compiling Path Expressions into VLSI CircuitsThomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra. 191-204
- Constraints: A Uniform Approach to Aliasing and TypingLeslie Lamport, Fred B. Schneider. 205-216
- High-Level Language Facilities for Low-Level ServicesChristopher W. Fraser, David R. Hanson. 217-224
- Matchmaker: An Interface Specification Language for Distributed ProcessingMichael B. Jones, Richard F. Rashid, Mary R. Thompson. 225-235
- Smart RecompilationWalter F. Tichy, Mark C. Baker. 236-244
- Constraining ControlDaniel P. Friedman, Christopher T. Haynes. 245-254
- Closurize and ConcentrateJulian A. Padget, John Fitch. 255-265
- Functional Programming and the Logical VariableGary Lindstrom. 266-280
- Constant Propagation with Conditional BranchesMark N. Wegman, F. Kenneth Zadeck. 291-299
- The Aggregate Update Problem in Functional Programming SystemsPaul Hudak, Adrienne Bloss. 300-314
- Semantics-Directed Code GenerationAndrew W. Appel. 315-324
- Optimal Scheduling of Arithmetic Operations in Parallel with Memory AccessesDavid Bernstein, Ron Y. Pinter, Michael Rodeh. 325-333
- Efficient Tree Pattern Matching: An Aid to Code GenerationAlfred V. Aho, Mahadevan Ganapathi. 334-340