Reflecting Data: Formally Correct Results for Efficient (and Dirty) Algorithms Lucas Dixon University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK.

First Page		Document Content
Date: 2009-06-14 14:43:10		Reflecting Data: Formally Correct Results for Efficient (and Dirty) Algorithms Lucas Dixon University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 117,29 KB Share Document on Facebook