2026-06-28T10:37:01Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/1050122025-03-18T12:24:20Zcom_20.500.14352_14col_20.500.14352_15

Maude as a library: an efficient all-purpose programming interface Rubio Cuéllar, Rubén Rafael Bae, Kyungmin 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. 2024-06-17T15:34:26Z 2024-06-17T15:34:26Z 2024-06-17T15:34:26Z 2022-07-29 conference paper https://hdl.handle.net/20.500.14352/105012 XXXX-XXXX 10.1007/978-3-031-12441-9_14 eng 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/ TIN2015-67522-C3-3-R info:eu-repo/grantAgreement/MECD/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/FPU%2F02319 http://creativecommons.org/licenses/by-nc-nd/4.0/ open access Attribution-NonCommercial-NoDerivatives 4.0 International