E-Prints Complutense

LOTOS Symbolic Semantics in Maude



Último año

Verdejo López, José Alberto (2002) LOTOS Symbolic Semantics in Maude. Technical report, 122-02 . pp. 1-43.

Vista previa


We present a formal tool where LOTOS specifications without restrictions in their data types
can be executed. The reflective feature of rewriting logic and the metalanguage capabilities of
Maude make it possible to implement the whole tool in the same semantic framework, and have
allowed us to implement the LOTOS semantics and to build an entire environment with parsing,
pretty printing, and input/output processing of LOTOS specifications.

Tipo de documento:Artículo
Palabras clave:LOTOS, symbolic semantics, rewriting logic, Maude, meta-language.
Materias:Ciencias > Matemáticas > Lógica simbólica y matemática
Código ID:4885
Depositado:20 May 2005
Última Modificación:06 Feb 2014 07:42

Descargas en el último año

Sólo personal del repositorio: página de control del artículo