Publication View

A calculational approach to program inversion / (2003)

Abstract

BLDSC reference no.: D222887.. Supervisor : Richard Bird.. Thesis (D.Phil.)--University of Oxford, 2003.. Includes bibliographical references.

Publication details

Download	http://worldcat.org/oclc/76901104
Repository	OCLC's Experimental Thesis Catalog (United States)
Keywords	Computer algorithms, Computer programs
Type	text
Language	eng