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