Crick, T., 2009. Superoptimisation: provably optimal code generation using answer set programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.
|Item Type ||Thesis (Doctor of Philosophy (PhD))|
|Uncontrolled Keywords||compliers, logic programming, code optimisation, answer set programming|
|Departments||Faculty of Science > Computer Science|
|Publisher Statement||UnivBath_PhD_2009_T_Crick.pdf: © The Author|
Actions (login required)