Login / Signup

A brief account: Implementation and applications of a Pascal program verifier (Position Statement).

David C. Luckham
Published in: ACM Annual Conference (2) (1978)
Keyphrases
  • implementation details
  • databases
  • genetic algorithm
  • training set
  • data mining
  • computer vision
  • expert systems
  • object oriented
  • parallel implementation
  • static analysis
  • implementation issues
  • high level programming