From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.

Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martnez Lpez

Browse the full MFCS paper archive.