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

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

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