18. POPL 1991:
Orlando,
Florida
Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages,
Orlando, Florida, January 1991.
- R. S. Sundaresh, Paul Hudak:
Incremental Compilation via Partial Evaluation.
1-13 BibTeX
- Charles Consel, Olivier Danvy:
Static and Dynamic Semantics Processing.
14-24 BibTeX
- Martin Odersky:
How to Make Destructive Updates Less Destructive.
25-36 BibTeX
- R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan:
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.
37-48 BibTeX
- Samson Abramsky, Thomas P. Jensen:
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions.
49-54 BibTeX
- Jong-Deok Choi, Ron Cytron, Jeanne Ferrante:
Automatic Construction of Sparse Data Flow Evaluation Graphs.
55-66 BibTeX
- Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill:
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies.
67-78 BibTeX
- Shlomit S. Pinter, Ron Y. Pinter:
Program Optimization and Parallelization Using Idioms.
79-92 BibTeX
- William Landi, Barbara G. Ryder:
Pointer-Induced Aliasing: A Problem Classification.
93-103 BibTeX
- Roberto M. Amadio, Luca Cardelli:
Subtyping Recursive Types.
104-118 BibTeX
- Fritz Henglein, Harry G. Mairson:
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi.
119-130 BibTeX
- Robert Harper, Benjamin C. Pierce:
A Record Calculus Based on Symmetric Concatenation.
131-142 BibTeX
- Jiazhen Cai, Robert Paige:
``Look Ma, No Hashing, And No Arrays Neither''.
143-154 BibTeX
- William D. Clinger, Jonathan Rees:
Macros That Work.
155-162 BibTeX
- Bruce F. Duba, Robert Harper, David B. MacQueen:
Typing First-Class Continuations in ML.
163-173 BibTeX
- Christian Queinnec, Bernard P. Serpette:
A Dynamic Extent Control Operator for Partial Continuations.
174-184 BibTeX
- Dorai Sitaram, Matthias Felleisen:
Modeling Continuations without Continuations.
185-196 BibTeX
- Steven Lucco, Oliver Sharp:
Parallel Programming With Coordination Structures.
197-208 BibTeX
- Yuh-Jzer Joung, Scott A. Smolka:
Coordinating First-Order Multiparty Interactions.
209-220 BibTeX
- Alon Kleinman, Yael Moscowitz, Amir Pnueli, Ehud Y. Shapiro:
Communication with Directed Logic Variables.
221-232 BibTeX
- Erik Crank, Matthias Felleisen:
Parameter-Passing and the Lambda Calculus.
233-244 BibTeX
- Jon G. Riecke:
Fully Abstract Translations between Functional Languages.
245-254 BibTeX
- Luc Maranget:
Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems.
255-269 BibTeX
- John C. Mitchell, Sigurd Meldal, Neel Madhav:
An Extension of Standard ML Modules with Subtyping and Inheritance.
270-278 BibTeX
- Alexander Aiken, Brian R. Murphy:
Static Type Inference in a Dynamically Typed Language.
279-290 BibTeX
- Xavier Leroy, Pierre Weis:
Polymorphic Type Inference and Assignment.
291-302 BibTeX
- Pierre Jouvelot, David K. Gifford:
Algebraic Reconstruction of Types and Effects.
303-310 BibTeX
- Vaughan R. Pratt:
Modeling Concurrency with Geometry.
311-322 BibTeX
- Martín Abadi, Gordon D. Plotkin:
A Logical View of Composition and Refinement.
323-332 BibTeX
- Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden:
Semantic Foundations of Concurrent Constraint Programming.
333-352 BibTeX
- Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems.
353-366 BibTeX
Copyright © Sat May 16 23:34:32 2009
by Michael Ley (ley@uni-trier.de)
