Science of Computer Programming, Volume 15

Volume 15, Number 1, November 1990

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

Volume 15, Numbers 2-3, December 1990

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