Sökning: "Lars-Åke Fredlund"
Hittade 2 avhandlingar innehållade orden Lars-Åke Fredlund.
1. A Framework for Reasoning about ERLANG Code
Sammanfattning : .... LÄS MER
2. A framework for reasoning about Erlang code
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