Search for dissertations about: "graph-reduction"

Found 5 swedish dissertations containing the word graph-reduction.

  2. 1. Code Optimisation Techniques for Lazy Functional Languages

    Author : Urban Boquist; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; graph reduction; garbage collection; lazy functional languages; program transformation; interprocedural register allocation; graph colouring; intermediate code; code optimisation; compiler back-end;

    Abstract : This thesis describes a complete compiler back-end for lazy functional languages, which uses various interprocedural optimisations to produce highly optimised code. The most important contributions of this work are the following. READ MORE

  4. 2. Stingy evaluation

    Author : Christina von Dorrien; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; garbage collection; spaceleak problem; multiprocessors; lazy evaluation; G-machine; functional languages; graph reduction;

    Abstract : .... READ MORE

  5. 3. Omelett : a language for reactive programming

    Author : Johan Nordlander; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; code generation; object-oriented; functional; operational semantics; state; imperative; concurrency; graph-reduction; polymorphism; transformational; reactive; abstract machine; lazy evaluation;

    Abstract : .... READ MORE

  6. 4. Designing a Functional Programming Architecture for the Internet of Things

    Author : Jeremy Pope; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; High-Level Synthesis; internet of things; Hardware description languages; Architectures; Functional Programming;

    Abstract : As the Internet of Things (IoT) grows, so too do security concerns: as well as typically having access to sensors and actuators, IoT devices are often programmed using bug-prone, low-level languages. Such a combination results in vulnerabilities that pose risks to privacy and safety. READ MORE

  7. 5. Declarative debugging for lazy functional languages

    Author : Henrik Nilsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Lazy functional languages are declarative and allow the programmer to write programs where operational issues such as the evaluation order are left implicit. It is desirable to maintain a declarative view also during debugging so as to avoid burdening the programmer with operational details, for example concerning the actual evaluation order which tends to be difficult to follow. READ MORE