by School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford)
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstrac…