18. POPL 1991: Orlando, Florida, USA
David S. Wise (Ed.): Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991. ACM Press 1991 ISBN 0-89791-419-8- Martin Odersky: How to Make Destructive Updates Less Destructive. 25-36
- R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan: On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. 37-48
- Samson Abramsky, Thomas P. Jensen: A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. 49-54
- Jong-Deok Choi, Ron Cytron, Jeanne Ferrante: Automatic Construction of Sparse Data Flow Evaluation Graphs. 55-66
- Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill: Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. 67-78
- Fritz Henglein, Harry G. Mairson: The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. 119-130
- Christian Queinnec, Bernard P. Serpette: A Dynamic Extent Control Operator for Partial Continuations. 174-184
- Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Y. Shapiro: Communication with Directed Logic Variables. 221-232
- Jon G. Riecke: Fully Abstract Translations between Functional Languages. 245-254
- Luc Maranget: Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. 255-269
- John C. Mitchell, Sigurd Meldal, Neel Madhav: An Extension of Standard ML Modules with Subtyping and Inheritance. 270-278
- Vaughan R. Pratt: Modeling Concurrency with Geometry. 311-322
- Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden: Semantic Foundations of Concurrent Constraint Programming. 333-352
- Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Temporal Proof Methodologies for Real-time Systems. 353-366
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team