Sign in

Invariant Checking for Programs with Procedure Calls.

Guillem GodoyAshish Tiwari
Published in: SAS (2009)
Keyphrases
  • neural network
  • artificial intelligence
  • feature selection
  • integrity constraints
  • affine invariant
  • computer programs
  • intermediate level
  • automatic programming
  • quasi invariant