CHASE: A Static Checker for JML's Assignable Clause.

Néstor Cataño Marieke Huisman

Published in: VMCAI (2003)

Keyphrases

query answering
search space
data exchange
functional dependencies
information systems
data dependencies
databases
genetic algorithm
expert systems
horn clauses