Sökning: "Lars-Åke Fredlund"

Hittade 2 avhandlingar innehållade orden Lars-Åke Fredlund.

  1. 1. A Framework for Reasoning about ERLANG Code

    Författare :Lars-Åke Fredlund; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 2. A framework for reasoning about Erlang code

    Författare :Lars-Åke Fredlund; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. LÄS MER