Publication View

A calculational approach to program inversion / (2004)

Abstract

Based on the author's D. Phil. Thesis (University of Oxford, 2003).. Includes bibliographical references. Available on-line.

Publication details

Download	http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-04-03.html
Publisher	Oxford : Oxford University Computing Laboratory,
Repository	NDLTD Union Catalog (United States)
Keywords	Computer algorithms Computer programs
Language	eng