Science of Computer Programming, Volume 27

Volume 27, Number 1, July 1996

• Susumu Nishimura:
  Integrating Different Versions of Programs with Backward and Forward Slicesa. 1-35
  
• Dominic Duggan, Frederick Bent:
  Explaining Type Inference. 37-83
  

Volume 27, Number 2, September 1996

• Bruce W. Watson, Gerard Zwaan:
  A Taxonomy of Sublinear Multiple Keyword Pattern Matching Algorithms. 85-118
  
• Joost-Pieter Katoen, Berry Schoenmakers:
  Systolic Arrays for the Recognition of Permutation-Invariant Segments. 119-137
  
• Michael J. Butler:
  Stepwise Refinement of Communicating Systems. 139-173
  
• Ian J. Hayes:
  Supporting Module Reuse in Refinement. 175-184
  
• John Segers, Jo C. Ebergen:
  Design and Analysis of Up-Down Counters. 185-204
  
• A. Bijlsma, Carel S. Scholten:
  Point-free Substitution. 205-214
  

Volume 27, Number 3, November 1996

• Eiiti Wada, Akinori Yonezawa:
  Obituary: Professor Nobuo Yoneda (28 March 1930-22 April 1996). 215-216
  
• Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
  Differential Logic Programs: Programming Methodologies and Semantics. 217-262
  
• Richard A. Frost, Barbara Szydlowski:
  Memoizing Purely Functional Top-Down Backtracking Language Processors. 263-288
  
• Jill Seaman, S. Purushothaman Iyer:
  An Operational Semantics of Sharing in Lazy Evaluation. 289-322
  

Last update Wed May 22 18:15:54 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page