Login / Signup

Verification of Array, Record, and Pointer Operations in Pascal.

David C. LuckhamNorihisa Suzuki
Published in: ACM Trans. Program. Lang. Syst. (1979)
Keyphrases
  • data structure
  • database
  • object recognition
  • model checking
  • asynchronous circuits
  • genetic algorithm
  • high speed