LOTOS Symbolic Semantics in Maude
| dc.contributor.author | Verdejo López, José Alberto | |
| dc.date.accessioned | 2023-06-20T20:29:04Z | |
| dc.date.available | 2023-06-20T20:29:04Z | |
| dc.date.issued | 2002-01 | |
| dc.description.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. | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | FALSE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/4885 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/60343 | |
| dc.journal.title | Technical report | |
| dc.language.iso | eng | |
| dc.page.final | 43 | |
| dc.page.initial | 1 | |
| dc.rights.accessRights | open access | |
| dc.subject.keyword | LOTOS | |
| dc.subject.keyword | symbolic semantics | |
| dc.subject.keyword | rewriting logic | |
| dc.subject.keyword | Maude | |
| dc.subject.keyword | meta-language. | |
| dc.subject.ucm | Lógica simbólica y matemática (Matemáticas) | |
| dc.subject.unesco | 1102.14 Lógica Simbólica | |
| dc.title | LOTOS Symbolic Semantics in Maude | |
| dc.type | journal article | |
| dc.volume.number | 122-02 | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fdcba7f2-108a-46f4-bf49-c292a5b81953 | |
| relation.isAuthorOfPublication.latestForDiscovery | fdcba7f2-108a-46f4-bf49-c292a5b81953 |
Download
Original bundle
1 - 1 of 1
