Sökning: "functional programming"

Visar resultat 6 - 10 av 132 avhandlingar innehållade orden functional programming.

  1. 6. Functional EDSLs for Web Applications

    Författare :Anton Ekblad; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; functional programming; domain-specific programming languages; distributed systems; web applications; tierless programming languages;

    Sammanfattning : This thesis aims to make the development of complex web applications easier, faster and safer through the application of strongly typed functional programming techniques. Traditional web applications are commonly written in the de facto standard language of the web, JavaScript, which, being untyped, provides no guarantees regarding the data processed by programs, increasing the burden of testing and defensive programming. LÄS MER

  3. 7. Implementing Functional Generic Programming

    Författare :Ulf Norell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Functional generic programming extends functional programming with the ability to parameterize functions on the structure of a datatype. This allows a programmer to implement certain algorithms once and for all, instead of re-implementing them for each datatype they apply to. LÄS MER

  4. 8. Towards a Functional Programming Language for Baseband Signal Processing

    Författare :Anders Persson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; signal processing; domain specific languages; functional programming; code generation;

    Sammanfattning : Developing software for resource constrained embedded systems is a daunting task. In addition to getting the functionality right, a programmer must consider several non-functional properties, including data layout, the target memory hierarchy, concurrency and parallelism. LÄS MER

  5. 9. Software Engineering using Typed Functional Programming

    Författare :Jean-Philippe Bernardy; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming types polymorphism type-classes;

    Sammanfattning : This thesis makes three distinct contributions to software engineering, usingtyped functional programming.First, we present a schema to reduce polymorphic properties to an equivalentmonomorphic property, for the purpose of testing. Our proof uses parametricity andproperties of initial algebras. LÄS MER

  7. 10. Designing a Functional Programming Architecture for the Internet of Things

    Författare :Jeremy Pope; Chalmers tekniska högskola; []
    Nyckelord :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;

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