Sign in

Properties Complementary to Program Self-reference.

John CaseSamuel E. Moelius
Published in: MFCS (2007)
Keyphrases
  • imperative programs
  • desirable properties
  • data sets
  • artificial intelligence
  • multimedia
  • probability distribution
  • open source
  • structural properties
  • static analysis
  • key properties