An overview of the Maude strategy language and its applications
| dc.conference.date | 2-3 Abr 2022 | |
| dc.conference.place | Múnich, Alemania | |
| dc.conference.title | 14th International Workshop on Rewriting Logic and Its Applications (WRLA) 2022 | |
| dc.contributor.author | Rubio Cuéllar, Rubén Rafael | |
| dc.contributor.editor | Bae, Kyungmin | |
| dc.date.accessioned | 2024-06-17T15:34:57Z | |
| dc.date.available | 2024-06-17T15:34:57Z | |
| dc.date.issued | 2022-07-29 | |
| dc.description.abstract | In the Maude specification language, the behavior of systems is modeled by nondeterministic rewrite rules, whose free application may not always be desirable. Hence, a strategy language has been introduced to control the application of rules at a high level, without the intricacies of metaprogramming. In this paper, we give an overview of the Maude strategy language, its applications, related verification tools, and extensions, illustrated with examples. | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | Agencia Estatal de Investigación | |
| dc.description.sponsorship | Ministerio de Universidades | |
| dc.description.status | pub | |
| dc.identifier.doi | 10.1007/978-3-031-12441-9_4 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/105013 | |
| dc.language.iso | eng | |
| dc.page.final | 84 | |
| dc.page.initial | 65 | |
| dc.relation.projectID | info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-108528RB-C22/ES/METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS/ | |
| dc.relation.projectID | TIN2015-67522-C3-3-R | |
| dc.relation.projectID | info:eu-repo/grantAgreement/MECD/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/FPU%2F02319 | |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | en |
| dc.rights.accessRights | open access | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject.keyword | Maude | |
| dc.subject.keyword | Strategy language | |
| dc.subject.keyword | Rewriting logic | |
| dc.subject.ucm | Lenguajes de programación | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.title | An overview of the Maude strategy language and its applications | |
| dc.type | conference paper | |
| dc.type.hasVersion | AM | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 7dfd0267-1708-4f39-bda5-55a246b4bc41 | |
| relation.isAuthorOfPublication.latestForDiscovery | 7dfd0267-1708-4f39-bda5-55a246b4bc41 |
Download
Original bundle
1 - 1 of 1
