Login / Signup
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving.
Andre J. Sampaio
Armando Martin Haeberer
Claudio T. Prates
Cristina D. Ururahy
Marcelo F. Frias
Neudson C. Albuquerque
Published in:
TAPSOFT (1995)
Keyphrases
</>
term rewriting
theorem proving
operational semantics
theorem prover
knuth bendix
programming tool
programming language
rewrite systems
object oriented
software tools
cooperative
training data
computer programming
programming environment
database systems
knowledge base
machine learning
databases