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.

Publication details

Download	http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-04-03.html http://worldcat.org/oclc/76901142
Publisher	Oxford : Oxford University Computing Laboratory,
Repository	OCLC's Experimental Thesis Catalog (United States)
Keywords	Computer algorithms, Computer programs
Type	text
Language	eng
Relation	Available on-line.