Login / Signup

Ownership confinement ensures representation independence for object-oriented programs.

Anindya BanerjeeDavid A. Naumann
Published in: J. ACM (2005)
Keyphrases
  • object oriented programs
  • specification languages
  • formal specification
  • data sets
  • databases
  • knowledge base
  • integration testing