Sökning: "functional reactive programming"

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

  1. 1. Omelett : a language for reactive programming

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

    Sammanfattning : .... LÄS MER

  3. 2. Functional Programming for Securing Cloud and Embedded Environments

    Författare :Abhiroop Sarkar; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; trusted execution environment; real time; functional programming; runtime; information flow control; microcontrollers; functional reactive programming;

    Sammanfattning : The ubiquity of digital systems across all aspects of modern society, while beneficial, has simultaneously exposed a lucrative attack surface for potential adversaries and attackers. Consequently, securing digital systems becomes of critical importance. LÄS MER

  4. 3. Functional Programming for Embedded Systems

    Författare :Abhiroop Sarkar; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Timing; Concurrency; Functional Programming; Virtual Machine; Language Runtime;

    Sammanfattning : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. LÄS MER

  5. 4. Reactive Objects and Functional Programming

    Författare :Johan Nordlander; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    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

  7. 5. Flexible Composition of Robot Logic with Computer Vision Services

    Författare :Oleksandr Semeniuta; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; robotics; data flow; service-oriented architecture; distributed systems; machine learning; discrete-event systems; Machine vision; publish-subscribe;

    Sammanfattning : Vision-based robotics is an ever-growing field within industrial automation. Demands for greater flexibility and higher quality motivate manufacturing companies to adopt these technologies for such tasks as material handling, assembly, and inspection. LÄS MER