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
Copyright © Mon Dec 7 20:20:44 2009
by Michael Ley (ley@uni-trier.de)
