Sökning: "functional programming"

Visar resultat 1 - 5 av 88 avhandlingar innehållade orden functional programming.

  1. 1. Programming Language Design - Issues in Web Programming and Security

    Detta är en avhandling från Göteborg : Chalmers University of Technology

    Författare :Niklas Broberg; Göteborgs universitet.; Gothenburg University.; [2006]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation;

    Sammanfattning : This thesis consists of two separate parts. Both concernprogramming language design, the first in the domain ofweb programming and the other for security. LÄS MER

  2. 2. Functional EDSLs for Web Applications

    Detta är en avhandling från ; Chalmers tekniska högskola; Gothenburg

    Författare :Anton Ekblad; [2018]
    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. 3. Towards a Functional Programming Language for Baseband Signal Processing

    Detta är en avhandling från ; Chalmers tekniska högskola; Gothenburg

    Författare :Anders Persson; [2014]
    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

  4. 4. Software Engineering using Typed Functional Programming

    Detta är en avhandling från ; Chalmers tekniska högskola; Gothenburg

    Författare :Jean-Philippe Bernardy; [2009]
    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

  5. 5. Reactive objects and functional programming

    Detta är en avhandling från Göteborg : Chalmers tekniska högskola

    Författare :Johan Nordlander; [1999]
    Nyckelord :;

    Sammanfattning : The construction of robust distributed and interactive software is still a challenging task, despite the recent popularity-increase for languages that take advanced programming concepts into the mainstream. Several problematic areas can be identified: most languages require the reactivity of a system to be manually upheld by careful avoidance of blocking operations; mathematical values often need to be encoded in terms of stateful objects or vice versa; concurrency is particularly tricky in conjunction with encapsulated software components; and static type safety is often compromised because of the lack of simultaneous support for both subtyping and polymorphism. LÄS MER