POPL 1997

37 papers

1. A Curry-Howard Foundation for Functional Computation with Control · C.-H. Luke Ong, Charles A. Stewart
2. A Demand-Driven Set-Based Analysis · Sandip K. Biswas
3. A Unified Computation Model for Functional and Logic Programming · Michael Hanus
4. Automatic Verification of Parameterized Linear Networks of Processes · David Lesens, Nicolas Halbwachs, Pascal Raymond
5. Behavioral Equivalence in the Polymorphic Pi-calculus · Benjamin C. Pierce, Davide Sangiorgi
6. Call by Need Computations to Root-Stable Form · Aart Middeldorp
7. Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus · Catuscia Palamidessi
8. Constraints to Stop Higher-Order Deforestation · Helmut Seidl, Morten Heine Sørensen
9. Denotational Semantics Using an Operationally-Based Term Model · Mitchell Wand, Gregory T. Sullivan
10. Determining the Idle Time of a Tiling · Karin Högstedt, Larry Carter, Jeanne Ferrante
11. Fast and Accurate Flow-Insensitive Points-To Analysis · Marc Shapiro, Susan Horwitz
12. First-class Polymorphism with Type Inference · Mark P. Jones
13. From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages · David Sands
14. High Level Reading and Data Structure Compilation · Robert Paige, Zhe Yang
15. Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis · Hanne Riis Nielson, Flemming Nielson
16. Is "Just in Time" = "Better Late than Never"? · Michael P. Plezbert, Ron Cytron
17. Maximizing Parallelism and Minimizing Synchronization with Affine Transforms · Amy W. Lim, Monica S. Lam
18. Minimal Typings in Atomic Subtyping · Jakob Rehof
19. Model Checking for Programming Languages using Verisoft · Patrice Godefroid
20. Objective ML: A Simple Object-Oriented Extension of ML · Didier Rémy, Jerome Vouillon
21. On the Complexity of Escape Analysis · Alain Deutsch
22. Parameterized Types for Java · Andrew C. Myers, Joseph A. Bank, Barbara Liskov
23. Partitioning Dataflow Analyses Using Types · Erik Ruf
24. Pizza into Java: Translating Theory into Practice · Martin Odersky, Philip Wadler
25. Polyp - A Polytypic Programming Language · Patrik Jansson, Johan Jeuring
26. Program Fragments, Linking, and Modularization · Luca Cardelli
27. Proof-Carrying Code · George C. Necula
28. Reducing Nondeterminism while Specializing Logic Programs · Alberto Pettorossi, Maurizio Proietti, Sophie Renault
29. Relational Parametricity and Units of Measure · Andrew Kennedy
30. Rolling Your Own MADT - A Connection Between Linear Types and Monads · Chih-Ping Chen, Paul Hudak
31. Search and Imperative Programming · Krzysztof R. Apt, Andrea Schaerf
32. Shape Types · Pascal Fradet, Daniel Le Métayer
33. Synchronization Transformations for Parallel Computing · Pedro C. Diniz, Martin C. Rinard
34. The Pi-calculus in Direct Style · Gérard Boudol
35. Type-Checking Higher-Order Polymorphic Multi-Methods · François Bourdoncle, Stephan Merz
36. Types as Abstract Interpretations · Patrick Cousot
37. Typing Algorithm in Type Theory with Inheritance · Amokrane Saïbi