Advertisement

PLATO: A tool to assist programming as term rewriting and theorem proving

  • Andre J. Sampaio
  • Armando M. Haeberer
  • Claudio T. Prates
  • Cristina D. Ururahy
  • Marcelo F. Frias
  • Neudson C. Albuquerque
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 915)

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Andre J. Sampaio
    • 1
  • Armando M. Haeberer
    • 1
  • Claudio T. Prates
    • 1
  • Cristina D. Ururahy
    • 1
  • Marcelo F. Frias
    • 1
  • Neudson C. Albuquerque
    • 1
  1. 1.Department of InformaticsPontifícia Universidade Católica do Rio de JaneiroRio de Janeiro, RJBrazil

Personalised recommendations