Superoptimisation: provably optimal code generation using answer set programming

  • Tom Crick

Student thesis: Doctoral ThesisPhD

Abstract

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

Keywords

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

Cite this

Superoptimisation: provably optimal code generation using answer set programming:
Crick, T. (Author). 1 Aug 2009

Student thesis: Doctoral ThesisPhD