This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
teaching:mfe:is [2015/09/14 13:41] svsummer [Engineering a runtime system and compiler for AQL] |
teaching:mfe:is [2016/02/16 10:26] svsummer [Engineering a runtime system and compiler for AQL] |
||
|---|---|---|---|
| Line 114: | Line 114: | ||
| The objective of this master thesis is to design and engineer a runtime system and compiler for (a fragment) of AQL based on finite state automata. Ideally, to obtain the best performance, these automata should be compiled into machine-code when executed. For this compilation, the following technologies should be used: | The objective of this master thesis is to design and engineer a runtime system and compiler for (a fragment) of AQL based on finite state automata. Ideally, to obtain the best performance, these automata should be compiled into machine-code when executed. For this compilation, the following technologies should be used: | ||
| * A a high-level language to construct the compiler (Scala, http://scala-lang.org/) | * A a high-level language to construct the compiler (Scala, http://scala-lang.org/) | ||
| - | * Use of Latent Modular Staging (LMS for short) for generating low-level portable assembly from the automata at runtime (http://scala-lms.github.io/) | + | * Use of Lightweight Modular Staging (LMS for short) for generating low-level portable assembly from the automata at runtime (http://scala-lms.github.io/) |
| * Use of LLVM (http://llvm.org/) as a portable assembly code and corresponding translator to machine code. | * Use of LLVM (http://llvm.org/) as a portable assembly code and corresponding translator to machine code. | ||