Automatic Inference of Class Invariants

Publisher Website

1 January 2004

book chapter
Published by Springer Nature

p. 211-222
https://doi.org/10.1007/978-3-540-24622-0_18

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Class-Level Modular Analysis for Object Oriented Languages
Published by Springer Nature ,2003
Deriving specialized program analyses for certifying component-client conformance
Published by Association for Computing Machinery (ACM) ,2002
Modular Static Program Analysis
Published by Springer Nature ,2002