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

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

last updated on Sat May 18 06:48:35 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page