Research

Superoptimisation: provably optimal code generation using answer set programming


Reference:

Crick, T., 2009. Superoptimisation: provably optimal code generation using answer set programming. Thesis (Doctor of Philosophy (PhD)). University of Bath.

Related documents:

[img] PDF (UnivBath_PhD_2009_T_Crick.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (5MB)

    Details

    Item Type Thesis (Doctor of Philosophy (PhD))
    CreatorsCrick, T.
    Uncontrolled Keywordscompliers, logic programming, code optimisation, answer set programming
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementUnivBath_PhD_2009_T_Crick.pdf: © The Author
    StatusUnpublished
    ID Code20352

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...