Superoptimisation: provably optimal code generation using answer set programming

Thomas Crick

Research output: ThesisDoctoral Thesis

LanguageEnglish
QualificationPh.D.
Awarding Institution
  • University of Bath
Supervisors/Advisors
  • Fitch, John, Supervisor
  • De Vos, Marina, Supervisor
Award date1 Aug 2009
StatusUnpublished - Aug 2009

Keywords

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

Cite this

Superoptimisation: provably optimal code generation using answer set programming. / Crick, Thomas.

2009.

Research output: ThesisDoctoral Thesis

@phdthesis{0d5c443fbe0045cfa7769898354c2eb7,
title = "Superoptimisation: provably optimal code generation using answer set programming",
keywords = "compliers, logic programming, code optimisation, answer set programming",
author = "Thomas Crick",
year = "2009",
month = "8",
language = "English",
school = "University of Bath",

}

TY - THES

T1 - Superoptimisation: provably optimal code generation using answer set programming

AU - Crick, Thomas

PY - 2009/8

Y1 - 2009/8

KW - compliers

KW - logic programming

KW - code optimisation

KW - answer set programming

M3 - Doctoral Thesis

ER -