A local analysis analyzes the values of objects paying attention to program flow and a global analysis analyses the object independent of the flow. The local and global analysis interact to infer the invariants of objects used within a computer program. The local analysis is given the known invariants...http://www.google.fr/patents/US20060236305?utm_source=gb-gplus-shareBrevet US20060236305 - Inferring object invariant method and system
Numéro de demande: 11/107,276 Numéro de publication: US 2006/0236305 A1 Date de dépôt: 15 avr. 2005 Brevet délivré: US7590978 ( Date de délivrance 15 sept. 2009)
