Descripción
|
|
---|---|
McErlang is a model checker for verifying programs written in the Erlang language, which is a dynamic typed functional language supporting concurrent and distributed programming. This tool is itself developed in Erlang aiming to make use of the subset of existing Erlang runtime system to the largest extent. McTranslator is designed to transform McErlang’s input Erlang programs into ones compatible with its new runtime system. More specifically, it manages to translate receive statements in different context into recvor letexp tuples of standard forms defined by McErlang. It is also implemented in Erlang. In this thesis, we describe our approaches applied by McTranslator to handle different translation cases; along with it, some experimental results obtained are given as small case studies. | |
Internacional
|
Si |
ISBN
|
|
Tipo de Tesis
|
Master |
Calificación
|
Sobresaliente cum laude |
Fecha
|
10/09/2008 |