The semantics of the Maude strategy language
| dc.contributor.author | Rubio Cuéllar, Rubén Rafael | |
| dc.contributor.author | Martí Oliet, Narciso | |
| dc.contributor.author | Pita Andreu, María Isabel | |
| dc.contributor.author | Verdejo López, José Alberto | |
| dc.date.accessioned | 2023-06-16T15:09:47Z | |
| dc.date.available | 2023-06-16T15:09:47Z | |
| dc.date.issued | 2021-08-30 | |
| dc.description.abstract | The syntax and three equivalent semantics of the Maude strategy language: a set-theoretic denotational semantics, a nondeterministic small-step operational semantics, and an operational rewriting semantics. The proofs of their equivalence are included. | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | FALSE | |
| dc.description.sponsorship | Ministerio de Ciencia e Innovación (MICINN) | |
| dc.description.sponsorship | Ministerio de Universidades | |
| dc.description.status | unpub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/67449 | |
| dc.identifier.relatedurl | http://maude.ucm.es/strategies | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/5766 | |
| dc.language.iso | eng | |
| dc.page.total | 53 | |
| dc.relation.projectID | TRACES (TIN2015‑67522‑C3‑3‑R); ProCode (PID2019‑108528RB‑C22) | |
| dc.relation.projectID | FPU17/02319 | |
| dc.rights | Atribución 3.0 España | |
| dc.rights.accessRights | open access | |
| dc.rights.uri | https://creativecommons.org/licenses/by/3.0/es/ | |
| dc.subject.cdu | 004.4 | |
| dc.subject.keyword | Rewriting strategies | |
| dc.subject.keyword | Maude | |
| dc.subject.keyword | Language semantics | |
| dc.subject.ucm | Lenguajes de programación | |
| dc.subject.ucm | Software | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.subject.unesco | 3304.16 Diseño Lógico | |
| dc.title | The semantics of the Maude strategy language | |
| dc.title.alternative | Las semánticas del lenguaje de estrategias de Maude | |
| dc.type | technical report | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 7dfd0267-1708-4f39-bda5-55a246b4bc41 | |
| relation.isAuthorOfPublication | e8d4e85a-2a43-444c-84e7-1fa5f392c50d | |
| relation.isAuthorOfPublication | 2b1ba9f6-5d94-4dd4-abdf-ea8b929cf009 | |
| relation.isAuthorOfPublication | fdcba7f2-108a-46f4-bf49-c292a5b81953 | |
| relation.isAuthorOfPublication | 7dfd0267-1708-4f39-bda5-55a246b4bc41 | |
| relation.isAuthorOfPublication.latestForDiscovery | 7dfd0267-1708-4f39-bda5-55a246b4bc41 |
Download
Original bundle
1 - 1 of 1
