Science of Computer Programming

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

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

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

External Links