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
  
• 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