default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 12
Volume 12, Number 1, June 1989
- Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin:
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. 1-38 - Cordelia V. Hall, David S. Wise:
Generating Function Versions with Rational Strictness Patterns. 39-74 - Martin Rem:
Small Programming Exercises 23. 75-81
Volume 12, Number 2, July 1989
- Richard S. Bird, Jeremy Gibbons, Geraint Jones:
Formal Derivation of a Pattern Matching Algorithm. 93-104 - F. E. J. Kruseman Aretz:
A New Approach to Earley's Parsing Algorithm. 105-121 - Tobias Nipkow
:
Equational Reasoning in Isabelle. 123-149 - David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding:
An Algorithm for Transitive Reduction of an Acyclic Graph. 151-155
Volume 12, Number 3, September 1989
- Jaap van der Woude:
Playing with Patterns, Searching for Strings. 177-190 - A. Bijlsma:
Calculating with Pointers. 191-205 - Andrzej Blikle:
Denotational Engineering. 207-253
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-01-28 22:20 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:
