Science of Computer Programming, Volume 15

Volume 15, Number 1, November 1990

• Wei Chen, Jan Tijmen Udding:
  Program Inversion: More than Fun! 1-13
  
• Annie Despland, Monique Mazaud, Raymond Rakotozafy:
  Using Rewriting Techniques to Produce Code Generators and Proving Them Correct. 15-54
  
• Jean-Pierre Banâtre, Daniel Le Métayer:
  The GAMMA Model and Its Discipline of Programming. 55-77
  
• J. P. H. W. van den Eijnde:
  Left-Bottom and Right-Top Segments. 79-94
  

Volume 15, Numbers 2-3, December 1990

• Martin Rem: Preface (Special Issue on Parallel Programming). 117-118
• H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut:
  Distributed Sorting. 119-133
  
• Abdelhamid Benaini, Patrice Quinton, Yves Robert, Yannick Saouter, Bernard Tourancheau:
  Synthesis of a New Systolic Architecture for the Algebraic Path Problem. 135-158
  
• L. D. J. C. Loyens, Johannes G. G. van de Vorst:
  Two Small Parallel Programming Exercises. 159-169
  
• Anne Kaldewaij, Gerard Zwaan:
  A Systolic Design for Acceptors of Regular Languages. 171-183
  
• P. Struik:
  A Systematic Design of a Parallel Program for Dirichlet Convolution. 185-200
  
• Jo C. Ebergen, Rob R. Hoogerwoord:
  A Derivation of a Serial-Parallel Multiplier. 201-215
  
• Wayne Luk, Geoffrey Brown:
  A Systolic LRU Processor and Its Top-Down Development. 217-233
  
• Joep L. W. Kessels, Frits D. Schalij:
  VLSI Programming for the Compact Disc Player. 235-248
  

Last update Mon Feb 13 04:56:06 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page