Volume 11, Number 1, 1988 information still missing
Volume 11, Number 2, December 1988
- David A. Schmidt:
Detecting Stack-Based Environments in Denotational Definitions.
- Ph. Schnoebelen:
Refined Compilation of Pattern-Matching for Functional Languages.
- Jinyun Xue, David Gries:
Developing a Linear Algorithm for Cubing a Cyclic Permutation.
- Martin Rem:
Small Programming Exercises 22.
Volume 11, Number 3, April 1989
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
- Jiazhen Cai, Robert Paige:
Program Derivation by Fixed Point Computation.
- Helmuth Partsch:
From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming.