Login / Signup

Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes.

Claude PairM. AmirchahyD. Neel
Published in: J. Comput. Syst. Sci. (1979)
Keyphrases
  • high level
  • data processing
  • attribute values
  • real time
  • efficient processing
  • databases
  • theorem proving
  • database
  • genetic algorithm
  • decision trees
  • object oriented
  • high speed
  • processing capabilities
  • formal proofs