Complutense University Library

LOTOS Symbolic Semantics in Maude

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

[img]
Preview
PDF
260kB
View download statistics for this eprint

==>>> Export to other formats

Abstract

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.

Item Type:Article
Uncontrolled Keywords:LOTOS, symbolic semantics, rewriting logic, Maude, meta-language.
Subjects:Sciences > Mathematics > Logic, Symbolic and mathematical
ID Code:4885
Deposited On:20 May 2005
Last Modified:06 Feb 2014 07:42

Repository Staff Only: item control page