Alias Control Is Crucial for Modular Verification of Object-Oriented Programs.

Peter Müller Arnd Poetzsch-Heffter

Published in: ECOOP Workshops (1999)

Keyphrases

object oriented programs
control system
specification languages
data acquisition
impact analysis
database
databases
machine learning
formal specification
integration testing