Search for dissertations about: "Johan Ringström"

Found 2 swedish dissertations containing the words Johan Ringström.

2. 1. Compiler Generation for Data-Parallel Programming Languages from Two-Level Semantics Specifications

   Author : Johan Ringström; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : This thesis is an empirical study of compiler generation for data-parallel languages from denotational-semantics-based formal specifications. We investigate whether compiler generation from such specifications is practical, not only with respect to generation of practical compilers, but also with respect to compilation of programs into efficient code and execution of the compiled programs on massively parallel SIMD (Single Instruction Multiple Data) architectures. READ MORE

4. 2. Compiler generation for parallel languages from denotational specifications

   Author : Johan Ringström; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : There exist several systems for the generation of compiler front-ends from formal semantics. Systems that generate entire compilers have also started to appear. Many of these use attribute grammars as the specification formalism, but there also are systems based on operational semantics or denotational semantics. READ MORE