TY  - CPAPER
AU  - Rubio Cuéllar, Rubén Rafael
A2  - Bae, Kyungmin
PY  - 2022
DO  - 10.1007/978-3-031-12441-9_14
UR  - https://hdl.handle.net/20.500.14352/105012
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...
LA  - eng
M2  - 274
KW  - Maude
KW  - Language bindings
KW  - Rewriting logic
TI  - Maude as a library: an efficient all-purpose programming interface
TY  - conference paper
ER  -