16. POPL 1989:
Austin, Texas, USA
Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989.
ACM Press 1989, ISBN 0-89791-294-2 
- William Baxter, Henry R. Bauer III:
The Program Dependence Graph and Vectorization.
1-11
- Rebecca Parsons Selke:
A Rewriting Semantics for Program Dependence Graphs.
12-24
- Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck:
An Efficient Method of Computing Static Single Assignment Form.
25-35
,
long version:
TOPLAS 13(4):
451-490 (1991)
- Shmuel Sagiv, O. Edelstein, Nissim Francez, Michael Rodeh:
Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis.
36-48
- Keith D. Cooper, Ken Kennedy:
Fast Interprocedural Alias Analysis.
49-59
- Philip Wadler, Stephen Blott:
How to Make ad-hoc Polymorphism Less ad-hoc.
60-76
- Didier Rémy:
Typechecking Records and Variants in a Natural Extension of ML.
77-88
- Christine Paulin-Mohring:
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions.
89-104
- Paris C. Kanellakis, John C. Mitchell:
Polymorphic Unification and ML Typing.
105-115
- Katherine A. Yelick, Joseph L. Zachary:
Moded Type Systems for Logic Programming.
116-124
- Timothy J. Hickey:
CLP* and Constraint Abstraction.
125-133
- Haim Gaifman, Ehud Y. Shapiro:
Fully Abstract Compositional Semantics for Logic Programs.
134-142
- Bent Thomsen:
A Calculus of Higher Order Communicating Systems.
143-154
- Bengt Jonsson:
A Fully Abstract Trace Model for Dataflow Networks.
155-165
- E. Allen Emerson, Tom Sadler, Jai Srinivasan:
Efficient Temporal Reasoning.
166-178
- Amir Pnueli, Roni Rosner:
On the Synthesis of a Reactive Module.
179-190
- Paul C. Attie, E. Allen Emerson:
Synthesis of Concurrent Systems with Many Similar Sequential Processes.
191-201
- Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson:
The Modula-3 Type System.
202-212
- Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically-Typed Language.
213-227
,
long version:
TOPLAS 13(2):
237-268 (1991)
- José Meseguer:
Relating Models of Polymorphism.
228-241
- Gennaro Monteleone:
Generalized Conjunctive Types.
242-249
- Nachum Dershowitz, Stéphane Kaplan:
Rewrite, Rewrite, Rewrite, Rewrite, Rewrite.
250-259
- Douglas Stott Parker Jr.:
Partial Order Programming.
260-266
- Marianne Baudinet:
Temporal Logic Programming is Complete and Expressive.
267-280
- Richard Kelsey, Paul Hudak:
Realistic Compilation by Program Transformation.
281-292
- Andrew W. Appel, Trevor Jim:
Continuation-Passing, Closure-Passing Style.
293-302
- K. Gopinath, John L. Hennessy:
Copy Elimination in Functional Languages.
303-314
- William Pugh, Tim Teitelbaum:
Incremental Computation via Function Caching.
315-328
- Peter D. Mosses:
Unified Algebras and Modules.
329-343
- Kim Guldstrand Larsen, Arne Skou:
Bisimulation Through Probabilistic Testing.
344-352
Last update Fri May 25 08:33:03 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
