Sign in

Methods for Proving Termination of Rewriting-based Programming Languages by Transformation.

Francisco DuránSalvador LucasJosé Meseguer
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • programming language
  • object oriented
  • general purpose
  • artificial intelligence
  • software engineering
  • database languages
  • strongly typed
  • programming environment
  • data model
  • logic programming