Maude as a library: an efficient all-purpose programming interface
| 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:26Z | |
| dc.date.available | 2024-06-17T15:34:26Z | |
| dc.date.issued | 2022-07-29 | |
| dc.description.abstract | We present a general and efficient programming interface to Maude from Python and other programming languages. All relevant Maude entities and operations are exposed in a documented object-oriented library to facilitate the integration of Maude into external programs and vice versa. This paper describes the design and implementation of the library, explains how to use it, and discusses some mature applications. | |
| 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_14 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/105012 | |
| dc.language.iso | eng | |
| dc.page.final | 294 | |
| dc.page.initial | 274 | |
| 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 | Language bindings | |
| dc.subject.keyword | Rewriting logic | |
| dc.subject.ucm | Lenguajes de programación | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.title | Maude as a library: an efficient all-purpose programming interface | |
| 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
