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

Related topics

Related topics

22 relations
AdaComposition over inheritanceComputer programmingConstructor (object-oriented programming)
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Class Invariants: Concepts, Problems, Solutions
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
Class invariants as abstract interpretation of trace semantics
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
Structure Is a Visual Class Invariant
The problem of learning the class identity of visual objects has received considerable attention recently. With rare exception… (More)
Is this relevant?
2006
2006
Detection Over Viewpoint via the Object Class Invariant
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
Modular Verification of Static Class Invariants
Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness… (More)
Is this relevant?
2004
2004
Automatic Inference of Class Invariants
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
Class Invariants for Quartic CM Fields
— 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
Automated Validation of Class Invariants in C ++ Applications
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
What is a class invariant?
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
Verification of Object Oriented Programs Using Class Invariants
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing… (More)
Is this relevant?