Program Equivalence, Program Development and Integrity Checking.

Jonathan M. Lever

Published in: LOPSTR (1991)

Keyphrases

integrity checking
integrity constraints
programming environments
artificial intelligence
database
machine learning
practical experience