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 BibTeX
Dominic Duggan, Frederick Bent: Explaining Type Inference. 37-83 BibTeX

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

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