RT Conference Proceedings
T1 Maude as a library: an efficient all-purpose programming interface
A1 Rubio Cuéllar, Rubén Rafael
A2 Bae, Kyungmin
AB 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.
YR 2022
FD 2022-07-29
LK https://hdl.handle.net/20.500.14352/105012
UL https://hdl.handle.net/20.500.14352/105012
LA eng
NO Agencia Estatal de Investigación
NO Ministerio de Universidades
DS Docta Complutense
RD 4 abr 2025