18. POPL 1991: Orlando, Florida, USA
- David S. Wise:
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 - 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 Shapiro:
Communication with Directed Logic Variables. 221-232 - 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 - 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