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