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
  

Last update Wed Feb 15 05:46:13 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page