Reference:
Crick, T., 2009. Superoptimisation: provably optimal code generation using answer set programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.
Related documents:
| Item Type | Thesis (Doctor of Philosophy (PhD)) |
| Creators | Crick, T. |
| 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 |
| Status | Unpublished |
| ID Code | 20352 |
Export
Actions (login required)
![[img]](http://opus.bath.ac.uk/style/images/fileicons/application_pdf.png)
