On The Effectiveness of Optimal Beta Reduction for Datalog Evaluation

Organization
Laboratory for Software Science
Abstract
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
2022-2023
Supervisor
Rucy
Spoken language (s)
Estonian, English
Requirements for candidates
Level
Masters
Keywords

Application of contact

 
Name
Rucy
Phone
E-mail
brurucy@gmail.com