Login / Signup

Programming and symbolic computation in Maude.

Francisco DuránSteven EkerSantiago EscobarNarciso Martí-OlietJosé MeseguerRubén RubioCarolyn L. Talcott
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
  • programming language
  • object oriented programming
  • data sets
  • programming paradigms
  • high level language
  • database
  • data mining
  • computer vision
  • software engineering
  • programming course