%0 Thesis %1 phd/ethos/Crick09 %A Crick, Thomas %D 2009 %K %T Superoptimisation : provably optimal code generation using answer set programming.

@phdthesis{phd/ethos/Crick09, added-at = {2023-12-12T23:42:30.000+0100}, author = {Crick, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/270ce9cfe9a191c442ba969ea32e3db3b/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.518295}, interhash = {591e7ef4aa2e09c8bb10dbfb35e90835}, intrahash = {70ce9cfe9a191c442ba969ea32e3db3b}, keywords = {}, note = {British Library, EThOS}, school = {University of Bath, UK}, timestamp = {2023-12-12T23:42:30.000+0100}, title = {Superoptimisation : provably optimal code generation using answer set programming.}, year = 2009 }