On The Effectiveness of Optimal Beta Reduction for Datalog Evaluation
Laboratory for Software Science
HVM, Higher-order virtual machine, is a highly efficient functional runtime that, to date, is the only system that implements optimal beta reduction, and automatically parallelisation. Your task is to implement the INFER term-rewriting algorithm, to then measure and ponder as to how does its performance differ from an implementation(to be provided) that does not use HVM.
Graduation Theses defence year
Spoken language (s)
Requirements for candidates
Application of contact