Sökning: "erlang"

Visar resultat 6 - 10 av 18 avhandlingar innehållade ordet erlang.

  1. 6. 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

  3. 7. A Framework for Reasoning about ERLANG Code

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

    Sammanfattning : .... LÄS MER

  4. 8. Reasoning about side-effect free erlang code in a modalμ-calculus based verification framework

    Författare :Gennady Chugunov; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 9. Efficient Implementation of Concurrent Programming Languages

    Författare :Erik Stenman; Simon Peyton Jones; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Datavetenskap; Computer Science;

    Sammanfattning : Dissertation in Computer Science to be publicly examined in Häggsalen, Ångströmlaboratoriet, Uppsala University, on Friday, November 1, 2002 at 1:00 pm for the degree of doctor of philosophy. The examination will be conducted in English. LÄS MER

  7. 10. Making reliable distributed systems in the presence of software errors

    Författare :Joe Armstrong; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; reliable distributed systems software errors;

    Sammanfattning : The work described in this thesis is the result of aresearch program started in 1981 to find better ways ofprogramming Telecom applications. These applications are largeprograms which despite careful testing will probably containmany errors when the program is put into service. LÄS MER