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
- 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
- Jens Knoop, Bernhard Steffen, Jürgen Vollmer: Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. 268-299
Volume 18, Number 4, July 1996
- Urs Hölzle, David Ungar: Reconciling Responsiveness with Performance in Pure Object-Orieted Languages. 355-400
- 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
- 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
- Jonas Skeppstedt, Per Stenström: Using Dataflow Analysis Techniques to Reduce Ownership Overhead in Cache Coherence Protocols. 659-682
- Isabelle Attali, Denis Caromel, Sidi O. Ehmety: A Natural Semantics for Eiffel Dynamic Binding. 711-729
- Neng-Fa Zhou: Parameter Passing and Control Stack Management in Prolog Implementation Revisited. 752-779
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team