default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 00:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
