Volume 11, Number 1, 1988
information still missing
Volume 11, Number 2, December 1988
- David A. Schmidt:
Detecting Stack-Based Environments in Denotational Definitions.
107-131

- Ph. Schnoebelen:
Refined Compilation of Pattern-Matching for Functional Languages.
133-159

- Jinyun Xue, David Gries:
Developing a Linear Algorithm for Cubing a Cyclic Permutation.
161-165

- Martin Rem:
Small Programming Exercises 22.
167-173

Volume 11, Number 3, April 1989
- Jiazhen Cai, Robert Paige:
Program Derivation by Fixed Point Computation.
197-261

- Helmuth Partsch:
From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming.
263-297

Last update Fri May 24 20:47:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page