Maude as a library: an efficient all-purpose programming interface

Rubio Cuéllar, Rubén RafaelBae, Kyungmin2024-06-172024-06-172022-07-2910.1007/978-3-031-12441-9_14https://hdl.handle.net/20.500.14352/105012We 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.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Maude as a library: an efficient all-purpose programming interfaceconference paperopen accessMaudeLanguage bindingsRewriting logicLenguajes de programación1203.23 Lenguajes de Programación