25. POPL 1998: San Diego, CA, USA
David B. MacQueen, Luca Cardelli (Eds.): POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998. ACM 1998 ISBN 0-89791-979-3- Bruno Blanchet: Escape Analysis: Correctness Proof, Implementation and Experimental Results. 25-37
- David A. Schmidt: Data Flow Analysis is Model Checking of Abstract Interpretations. 38-48
- Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach: Bridging the Gulf: A Common Intermediate Language for ML and Haskell. 49-61
- Yasuhiko Minamide: A Functional Representation of Data Structures with a Hole. 75-84
- J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. 85-97
- Thomas Ball, Peter Mataga, Shmuel Sagiv: Edge Profiling versus Path Profiling: The Showdown. 134-148
- Christian S. Collberg, Clark D. Thomborson, Douglas Low: Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. 184-196
- Jens Palsberg, Christina Pavlopoulou: From Polyvariant Flow Information to Intersection and Union Types. 197-208
- Thomas P. Jensen: Inference of Polymorphic and Conditional Strictness Properties. 209-221
- Susumu Nishimura: Static Typing for Dynamic Messages. 266-278
- Aleksy Schubert: Second-Order Unification and Type Inference for Church-Style Polymorphism. 279-288
- Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. 329-341
- Geoffrey Smith, Dennis M. Volpano: Secure Information Flow in a Multi-Threaded Imperative Language. 355-364
- James Riely, Matthew Hennessy: A Typed Language for Distributed Mobile Processes (Extended Abstract). 378-390
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team