12. POPL 1985:
New Orleans,
Louisiana
Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages,
New Orleans, Louisiana, January 1985.
- Mitchell Wand:
Embedding Type Structure in Semantics.
1-6
- Prateek Mishra, Uday S. Reddy:
Declaration-Free Type Checking.
7-21
- Robert Cartwright:
Types as Intervals.
22-36
- John C. Mitchell, Gordon D. Plotkin:
Abstract Types Have Existential Type.
37-51
- Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Principles of OBJ2.
52-66
- Donald Sannella, Andrzej Tarlecki:
Program Specification and Development in Standard ML.
67-77
- Leslie Lamport:
What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority.
78-83
- E. Allen Emerson, Chin-Laung Lei:
Modalities for Model Checking: Branching Time Strikes Back.
84-96
- Orna Lichtenstein, Amir Pnueli:
Checking That Finite State Concurrent Programs Satisfy Their Linear Specification.
97-107
- Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler:
Denotational Semantics and Rewrite Rules for FP.
108-120
- Van Nguyen, David Gries, Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes.
121-131
- Daniel Leivant:
Logical and Mathematical Reasoning about Imperative Programs.
132-140
- Gregory F. Johnson, Charles N. Fischer:
A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors.
141-151
- Lori L. Pollock, Mary Lou Soffa:
Incremental Compilation of Locally Optimized Code.
152-164
- Ray Ford, Duangkaew Sawamiphakdi:
A Greedy Approach to Incremental Code Generation.
165-178
- Jeanne Ferrante, Mary Mace:
On Linearizing Parallel Code.
179-189
- Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra:
Compiling Path Expressions into VLSI Circuits.
191-204
- Leslie Lamport, Fred B. Schneider:
Constraints: A Uniform Approach to Aliasing and Typing.
205-216
- Christopher W. Fraser, David R. Hanson:
High-Level Language Facilities for Low-Level Services.
217-224
- Michael B. Jones, Richard F. Rashid, Mary R. Thompson:
Matchmaker: An Interface Specification Language for Distributed Processing.
225-235
- Walter F. Tichy, Mark C. Baker:
Smart Recompilation.
236-244
- Daniel P. Friedman, Christopher T. Haynes:
Constraining Control.
245-254
- Julian A. Padget, John Fitch:
Closurize and Concentrate.
255-265
- Gary Lindstrom:
Functional Programming and the Logical Variable.
266-280
- Keith D. Cooper:
Analyzing Aliases of Reference Formal Parameters.
281-290
- Mark N. Wegman, F. Kenneth Zadeck:
Constant Propagation with Conditional Branches.
291-299 ,
long version:
TOPLAS 13(2):
181-210 (1991)
- Paul Hudak, Adrienne Bloss:
The Aggregate Update Problem in Functional Programming Systems.
300-314
- Andrew W. Appel:
Semantics-Directed Code Generation.
315-324
- David Bernstein, Ron Y. Pinter, Michael Rodeh:
Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses.
325-333
- Alfred V. Aho, Mahadevan Ganapathi:
Efficient Tree Pattern Matching: An Aid to Code Generation.
334-340
Copyright © Sat Nov 28 22:21:40 2009
by Michael Ley (ley@uni-trier.de)
