Automatic Certification of Java Source Code in Rewriting Logic.

Mauricio Alba-Castro María Alpuente Santiago Escobar

Published in: FMICS (2007)

Keyphrases

semi automatic
logic programming
third party
classical logic
knowledge representation
database
case study
fully automatic
query answering
conjunctive queries
rewrite rules
algebraic structure