Login / Signup

Automatic Verification of Pointer Programs using Monadic Second-Order Logic.

Jakob L. JensenMichael E. JørgensenNils KlarlundMichael I. Schwartzbach
Published in: PLDI (1997)
Keyphrases
  • monadic second order logic
  • expressive power
  • data structure
  • data complexity
  • database systems
  • low level
  • query language
  • production system
  • incomplete information
  • tree automata