A Logic of Object-Oriented Programs.

Martín Abadi K. Rustan M. Leino

Published in: Verification: Theory and Practice (2003)

Keyphrases

object oriented programs
specification languages
integration testing
formal specification
object oriented
impact analysis
multi agent systems
databases
information systems
source code
first order logic
high throughput