Publication: LOTOS Symbolic Semantics in Maude
Loading...
Official URL
Full text at PDC
Publication Date
2002-01
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
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.