A calculus for program construction based on fork algebras, generic algorithms and design strategies

Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer. A calculus for program construction based on fork algebras, generic algorithms and design strategies. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 75-79, 1998.

Abstract

Abstract is missing.