Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Although many object invariant descriptors have been proposed in the literature, putting them into practice to obtain a robust… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
2008
2008
High level design decisions are never captured formally in programs and are often violated as programs evolve. In this paper, we… Expand
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We study the homology of a filtered d-dimensional simplicial complex K as a single algebraic entity and establish a… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Distributed systems are often modeled by objects that run concurrently, each with its own processor, and communicate by… Expand
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • T. Wehrly
  • Technometrics
  • 2004
  • Corpus ID: 44259414
The webpage cited in the text contains all of the large datasets presented, a table of contents, answers to selected exercises… Expand
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… Expand
Is this relevant?
1998
1998
Three nontrivial limitations of the existing Javaℳ technology are considered from the viewpoint of object-oriented database… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1995
1995
Abstract We formulate the uniformisation problem underlying the geometry of Wn-gravity using the differential equation approach… Expand
Is this relevant?
1995
1995
  • A. Heyden, K. Astrom
  • Proceedings IEEE Workshop on Representation of…
  • 1995
  • Corpus ID: 13184447
This paper deals with the problem of analysing sequences of images of rigid point objects taken by uncalibrated cameras. It is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The authors address the problem of generating representations of 3-D objects automatically from exploratory view sequences of… Expand
Is this relevant?