Science of Computer Programming, Volume 11

Volume 11, Number 1, 1988

Volume 11, Number 2, December 1988

• David A. Schmidt: Detecting Stack-Based Environments in Denotational Definitions. 107-131 BibTeX
• Ph. Schnoebelen: Refined Compilation of Pattern-Matching for Functional Languages. 133-159 BibTeX
• Jinyun Xue, David Gries: Developing a Linear Algorithm for Cubing a Cyclic Permutation. 161-165 BibTeX
• Martin Rem: Small Programming Exercises 22. 167-173 BibTeX

Volume 11, Number 3, April 1989

• Jiazhen Cai, Robert Paige: Program Derivation by Fixed Point Computation. 197-261 BibTeX
• Helmuth Partsch: From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming. 263-297 BibTeX