Invariant Checking for Programs with Procedure Calls.

Guillem Godoy Ashish Tiwari

Published in: SAS (2009)

Keyphrases

neural network
artificial intelligence
feature selection
integrity constraints
affine invariant
computer programs
intermediate level
automatic programming
quasi invariant