Class invariant

Known as: Class invariants, Invariant, Object invariant 
In computer programming, specifically object-oriented programming, a class invariant (or type invariant) is an invariant used to constrain objects of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Class invariants are both a core concept of object-oriented programming and the source of the two key open OO verification… (More)
Is this relevant?
2009
2009
Wepresent a generic framework for the automatic andmodular inference of sound class invariants for class-based object-oriented… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2008
2008
The problem of learning the class identity of visual objects has received considerable attention recently. With rare exception… (More)
Is this relevant?
2006
2006
In this article, we present a new model of object class appearance over viewpoint, based on learning a relationship between scale… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness… (More)
Is this relevant?
2004
2004
We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented… (More)
Is this relevant?
2004
2004
— One can define class invariants for a quartic primitive CM field K as special values of certain Siegel (or Hilbert) modular… (More)
Is this relevant?
2002
2002
In this paper, we describe a non-invasive approach for validation of class invariants in C ++ applications. Our approach is fully… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
Review
2001
Review
2001
This paper is a progress report on our research into the problem of automatically identifying and using class invariants in… (More)
Is this relevant?
2000
2000
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing… (More)
Is this relevant?