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 [2016/02/16 10:26] svsummer [Engineering a runtime system and compiler for AQL] |
teaching:mfe:is [2016/02/16 10:51] svsummer [Compiling SPARQL queries into machine code] |
||
|---|---|---|---|
| Line 59: | Line 59: | ||
| The objective of this master thesis is to apply the same methodology to engineer a compiler that translates (fragments of) SPARQL (the standard query language for querying RDF data on the semantic web) into machine code. The overall methodology should follow the methodology used by HyPer and Legobase: | The objective of this master thesis is to apply the same methodology to engineer a compiler that translates (fragments of) SPARQL (the standard query language for querying RDF data on the semantic web) into machine code. The overall methodology should follow the methodology used by HyPer and Legobase: | ||
| * Use of a high-level language to construct the compiler (Scala, http://scala-lang.org/) | * Use of 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 code at runtime (http://scala-lms.github.io/) | + | * Use of Lightweight Modular Staging (LMS for short) for generating low-level portable assembly code 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. | ||