On The Effectiveness of Optimal Beta Reduction for Datalog Evaluation

Organisatsiooni nimi
Laboratory for Software Science
Kokkuvõte
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.
Lõputöö kaitsmise aasta
2022-2023
Juhendaja
Rucy
Suhtlemiskeel(ed)
eesti keel, inglise keel
Nõuded kandideerijale
Tase
Magister
Märksõnad

Kandideerimise kontakt

 
Nimi
Rucy
Tel
E-mail
brurucy@gmail.com