Sign in

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

Rubén Rubio
Published in: WRLA@ETAPS (2022)
Keyphrases
  • programming interface
  • object oriented
  • computationally efficient
  • open source
  • databases
  • information retrieval
  • genetic algorithm
  • wide range
  • data model