ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 18

Volume 18, Number 1, January 1996

• Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski: Iteration Abstraction in Sather. 1-15
• Alan Carle, Lori L. Pollock: On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars. 16-29
• Brad T. Vander Zanden: An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. 30-72 , Corrigendum: TOPLAS 18(3): 354
• John Boyland: Conditional Attribute Grammars. 73-108

Volume 18, Number 2, March 1996

• Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. 109-138
• John R. Hauser: Handling Floating-Point Exceptions in Numeric Programs. 139-174
• David Sands: Total Correctness by Local Improvement in the Transformation of Functional Programs. 175-234 , preliminary version: POPL 1995: 221-232

Volume 18, Number 3, May 1996

• Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert Wang: Storage Assignment to Decrease Code Size. 235-253
• Geoffrey Smith, Dennis M. Volpano: Polymorphic typing of Variables and References. 254-267
• Jens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. 268-299
• Lal George, Andrew W. Appel: Iterated Register Coalescing. 300-324
• Carroll Morgan, Annabelle McIver, Karen Seidel: Probabilistic Predicate Transformers. 325-353

Volume 18, Number 4, July 1996

• Urs Hölzle, David Ungar: Reconciling Responsiveness with Performance in Pure Object-Orieted Languages. 355-400
• Martín Abadi, Luca Cardelli: On Subtyping and Matching. 401-423
• Kathryn S. McKinley, Steve Carr, Chau-Wen Tseng: Improving Data Locality with Loop Transformations. 424-453
• Ian T. Foster: Compositional Parallel Programming Languages. 454-476
• Mohammad R. Haghighat, Constantine D. Polychronopoulos: Symbolic Analysis for Parallelizing Compilers. 477-518

Volume 18, Number 5, September 1996

• Jens Palsberg, Scott F. Smith: Constrained Types and Their Expressiveness. 519-527
• Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift: Principles and Practice of Unification Factoring. 528-563
• Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens: Global Analysis of Constraint Logic Programs. 564-614
• José M. Piquer: Indirect Distributed Garbage Collection: Handling Object Migration. 615-647

Volume 18, Number 6, November 1996

• Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee: Identifying Loops Using DJ Graphs. 649-658
• Jonas Skeppstedt, Per Stenström: Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols. 659-682
• Todd A. Proebsting, Charles N. Fischer: Demand-Driven Register Allocation. 683-710
• Isabelle Attali, Denis Caromel, Sidi O. Ehmety: A Natural Semantics for Eiffel Dynamic Binding. 711-729
• Olivier Danvy, Karoline Malmkjær, Jens Palsberg: Eta-Expansion Does The Trick. 730-751
• Neng-Fa Zhou: Parameter Passing and Control Stack Management in Prolog Implementation Revisited. 752-779