Observatorio de I+D+i UPM

Memorias de investigación
Tesis:
Translation of Erlang Programs for Model Checking.
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Miao Yu
  • Director: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)