POPL 1993

43 papers

1. A Categorized Bibliography on Incremental Computation · G. Ramalingam, Thomas W. Reps
2. A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML · Damien Doligez, Xavier Leroy
3. A Constructive Logic of Multiple Subtyping · Harry G. Mairson
4. A Natural Semantics for Lazy Evaluation · John Launchbury
5. A Novel Framework of Register Allocation for Software Pipelining · Qi Ning, Guang R. Gao
6. A Sort Inference Algorithm for the Polyadic Pi-Calculus · Simon J. Gay
7. Algebraic Reasoning and Completeness in Typed Languages · Jon G. Riecke, Ramesh Subrahmanyam
8. An Introduction to Logical Relations and Parametric Polymorphism - Tutorial · John C. Reynolds
9. Array Data-Flow Analysis and its Use in Array Privatization · Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam
10. Automatic Array Alignment in Data-Parallel Programs · Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng
11. Automatic Generation and Management of Interprocedural Program Analyses · Kwangkeun Yi, Williams Ludwell Harrison III
12. Call by Name, Assignment, and the Lambda Calculus · Martin Odersky, Dan Rabin, Paul Hudak
13. Communicating Reactive Processes · Gérard Berry, S. Ramesh, R. K. Shyamasundar
14. Complexity of Bidirectional Data Flow Analysis · Dhananjay M. Dhamdhere, Uday P. Khedker
15. Compositional Analysis of Modular Logic Programs · Michael Codish, Saumya K. Debray, Roberto Giacobazzi
16. Computer Architectures and Programming Models for Scalable Parallel Computing · Marc Snir
17. Constructing Call Multigraphs Using Dependence Graphs · Arun Lakhotia
18. Differential Logic Programming · Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
19. Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects · Jong-Deok Choi, Michael G. Burke, Paul R. Carini
20. Efficient Recursive Subtyping · Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
21. Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging · Ali-Reza Adl-Tabatabai, Thomas R. Gross
22. Explicit Polymorphism and CPS Conversion · Robert Harper, Mark Lillibridge
23. Extending Record Typing to Type Parametric Modules with Sharing · Maria-Virginia Aponte
24. Formal Parametric Polymorphism · Martín Abadi, Luca Cardelli, Pierre-Louis Curien
25. Graph Types · Nils Klarlund, Michael I. Schwartzbach
26. Imperative Functional Programming · Simon L. Peyton Jones, Philip Wadler
27. Incremental Program Testing Using Program Dependence Graphs · Samual Bates, Susan Horwitz
28. Layer Sharing: An Improved Structure-Sharing Framework · Éric Villemonte de la Clergerie
29. Object-Oriented Programming without Recursive Types · Benjamin C. Pierce, David N. Turner
30. On the Orthogonality of Assignments and Procedures in Algol · Stephen Weeks, Matthias Felleisen
31. Polymorphism by Name for References and Continuations · Xavier Leroy
32. Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes · Shinn-Der Lee, Daniel P. Friedman
33. Relational Parametricity and Local Variables · Peter W. O'Hearn, Robert D. Tennent
34. Safe Type Checking in a Statically-Typed Object-Oriented Programming Language · Kim B. Bruce
35. Semantics for Communication Primitives in an Polymorphic Language · Atsushi Ohori, Kazuhiko Kato
36. Separating Stages in the Continuation-Passing Style Transformation · Julia L. Lawall, Olivier Danvy
37. Smartest Recompilation · Zhong Shao, Andrew W. Appel
38. Specifying the Correctness of Binding-Time Analysis · Mitchell Wand
39. Static Single Assignment for Explicitely Parallel Programs · Harini Srinivasan, James Hook, Michael Wolfe
40. Stratified Functional Programs and Computational Complexity · Daniel Leivant
41. The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering · Kim Marriott, Peter J. Stuckey
42. Tutorial Notes on Partial Evaluation · Charles Consel, Olivier Danvy
43. Type Checking Type Classes · Tobias Nipkow, Christian Prehofer