Login / Signup

A specification-based approach to reasoning about pointers.

Gregory KulczyckiMurali SitaramanBruce W. WeideAtanas Rountev
Published in: ACM SIGSOFT Softw. Eng. Notes (2006)
Keyphrases
  • high level
  • formal specification
  • spatial reasoning
  • databases
  • learning algorithm
  • user defined
  • specification language
  • qualitative simulation
  • database
  • information systems
  • website
  • formal theory