Login / Signup
Programming and Symbolic Computation in Maude.
Francisco Durán
Steven Eker
Santiago Escobar
Narciso Martí-Oliet
José Meseguer
Rubén Rubio
Carolyn L. Talcott
Published in:
CoRR (2019)
Keyphrases
</>
programming language
programming environment
multiscale
open source
formal specification
information retrieval
case study
automated deduction
high level language
imperative programs