Login / Signup
Ownership confinement ensures representation independence for object-oriented programs.
Anindya Banerjee
David A. Naumann
Published in:
J. ACM (2005)
Keyphrases
</>
object oriented programs
specification languages
formal specification
data sets
databases
knowledge base
integration testing