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