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 BibTeX
Alan Carle, Lori L. Pollock: On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars. 16-29 BibTeX
Brad T. Vander Zanden: An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. 30-72 BibTeX , Corrigendum: TOPLAS 18(3): 354
John Boyland: Conditional Attribute Grammars. 73-108 BibTeX

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

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

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

Jens Palsberg, Scott F. Smith: Constrained Types and Their Expressiveness. 519-527 BibTeX
Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift: Principles and Practice of Unification Factoring. 528-563 BibTeX
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 BibTeX
José M. Piquer: Indirect Distributed Garbage Collection: Handling Object Migration. 615-647 BibTeX

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