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