Sökning: "Johan Ringström"

Hittade 2 avhandlingar innehållade orden Johan Ringström.

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

   Författare :Johan Ringström; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : 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. LÄS MER

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

   Författare :Johan Ringström; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : 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. LÄS MER