Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis.

Stefaan Decorte Danny De Schreye Massimo Fabris

Published in: ILPS (1993)

Keyphrases

termination analysis
database
relational databases
software engineering
evaluation method