200
Voted
VMCAI
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...