Superoptimisation: provably optimal code generation using answer set programming

  • Tom Crick

Student thesis: Doctoral Thesis › PhD

Date of Award1 Aug 2009
Original languageEnglish
Awarding Institution
  • University of Bath
SupervisorJohn Fitch (Supervisor) & Marina De Vos (Supervisor)

Keywords

  • compliers
  • logic programming
  • code optimisation
  • answer set programming

Cite this

Documents

  • Thesis

    File: application/pdf, -1 bytes

    Type: Thesis

'