Science of Computer Programming
, Volume 12
Volume 12, Number 1, June 1989
Michel Bidoit
,
Marie-Claude Gaudel
,
A. Mauboussin
: How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. 1-38
BibTeX
Cordelia V. Hall
,
David S. Wise
: Generating Function Versions with Rational Strictness Patterns. 39-74
BibTeX
Martin Rem
: Small Programming Exercises 23. 75-81
BibTeX
Volume 12, Number 2, July 1989
Richard S. Bird
,
Jeremy Gibbons
,
Geraint Jones
: Formal Derivation of a Pattern Matching Algorithm. 93-104
BibTeX
F. E. J. Kruseman Aretz
: A New Approach to Earley's Parsing Algorithm. 105-121
BibTeX
Tobias Nipkow
: Equational Reasoning in Isabelle. 123-149
BibTeX
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
BibTeX
Volume 12, Number 3, September 1989
Jaap van der Woude
: Playing with Patterns, Searching for Strings. 177-190
BibTeX
A. Bijlsma
: Calculating with Pointers. 191-205
BibTeX
Andrzej Blikle
: Denotational Engineering. 207-253
BibTeX
Copyright ©
Sun May 17 00:18:37 2009 by
Michael Ley
(
ley@uni-trier.de
)