TOPLAS 1996

27 papers

1. A Natural Semantics for Eiffel Dynamic Binding · Isabelle Attali, Denis Caromel, Sidi O. Ehmety
2. An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints · Brad T. Vander Zanden
3. Compositional Parallel Programming Languages · Ian T. Foster
4. Conditional Attribute Grammars · John Boyland
5. Constrained Types and Their Expressiveness · Jens Palsberg, Scott F. Smith
6. Demand-Driven Register Allocation · Todd A. Proebsting, Charles N. Fischer
7. Eta-Expansion Does The Trick · Olivier Danvy, Karoline Malmkjær, Jens Palsberg
8. Global Analysis of Constraint Logic Programs · Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
9. Handling Floating-Point Exceptions in Numeric Programs · John R. Hauser
10. Identifying Loops Using DJ Graphs · Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee
11. Improving Data Locality with Loop Transformations · Kathryn S. McKinley, Steve Carr, Chau-Wen Tseng
12. Indirect Distributed Garbage Collection: Handling Object Migration · José M. Piquer
13. Iterated Register Coalescing · Lal George, Andrew W. Appel
14. Iteration Abstraction in Sather · Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski
15. On Subtyping and Matching · Martín Abadi, Luca Cardelli
16. On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars · Alan Carle, Lori L. Pollock
17. Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs · Jens Knoop, Bernhard Steffen, Jürgen Vollmer
18. Parameter Passing and Control Stack Management in Prolog Implementation Revisited · Neng-Fa Zhou
19. Polymorphic typing of Variables and References · Geoffrey Smith, Dennis M. Volpano
20. Principles and Practice of Unification Factoring · Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift
21. Probabilistic Predicate Transformers · Carroll Morgan, Annabelle McIver, Karen Seidel
22. Reconciling Responsiveness with Performance in Pure Object-Orieted Languages · Urs Hölzle, David M. Ungar
23. Storage Assignment to Decrease Code Size · Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang
24. Symbolic Analysis for Parallelizing Compilers · Mohammad R. Haghighat, Constantine D. Polychronopoulos
25. Total Correctness by Local Improvement in the Transformation of Functional Programs · David Sands
26. Type Classes in Haskell · Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
27. Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols · Jonas Skeppstedt, Per Stenström