24. POPL 1997: Paris, France
Peter Lee, Fritz Henglein, Neil D. Jones (Eds.): Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997. ACM Press 1997 ISBN 0-89791-853-3
Session 1
- Erik Ruf: Partitioning Dataflow Analyses Using Types. 15-26
Session 2
- Chih-Ping Chen, Paul Hudak: Rolling Your Own MADT - A Connection Between Linear Types and Monads. 54-66
- Michael Hanus: A Unified Computation Model for Functional and Logic Programming. 80-93
- Aart Middeldorp: Call by Need Computations to Root-Stable Form. 94-105
Session 3
- George C. Necula: Proof-Carrying Code. 106-119
Session 4
- Patrice Godefroid: Model Checking for Programming Languages using Verisoft. 174-186
- Amy W. Lim, Monica S. Lam: Maximizing Parallelism and Minimizing Synchronization with Affine Transforms. 201-214
Session 5
- C.-H. Luke Ong, Charles A. Stewart: A Curry-Howard Foundation for Functional Computation with Control. 215-227
- Gérard Boudol: The Pi-calculus in Direct Style. 228-241
- Benjamin C. Pierce, Davide Sangiorgi: Behavioral Equivalence in the Polymorphic Pi-calculus. 242-255
- Catuscia Palamidessi: Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. 256-265
Session 6
- Luca Cardelli: Program Fragments, Linking, and Modularization. 266-277
- Jakob Rehof: Minimal Typings in Atomic Subtyping. 278-291
- Amokrane Saïbi: Typing Algorithm in Type Theory with Inheritance. 292-301
Invited Talk
- Patrick Cousot: Types as Abstract Interpretations. 316-331
Session 7
- Hanne Riis Nielson, Flemming Nielson: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. 332-345
- David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic Verification of Parameterized Linear Networks of Processes. 346-357
- Alain Deutsch: On the Complexity of Escape Analysis. 358-371
- Sandip K. Biswas: A Demand-Driven Set-Based Analysis. 372-385
Session 8
- Mitchell Wand, Gregory T. Sullivan: Denotational Semantics Using an Operationally-Based Term Model. 386-399
- Alberto Pettorossi, Maurizio Proietti, Sophie Renault: Reducing Nondeterminism while Specializing Logic Programs. 414-427
- David Sands: From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. 428-441
Session 9
- Andrew Kennedy: Relational Parametricity and Units of Measure. 442-455
- Mark P. Jones: First-class Polymorphism with Type Inference. 483-496
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