Maude as a Library: An Efficient All-Purpose Programming Interface.

Published in: WRLA@ETAPS (2022)

Keyphrases

programming interface
object oriented
computationally efficient
open source
databases
information retrieval
genetic algorithm
wide range
data model