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

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Comparative study of global invariant descriptors for object recognition
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
Runtime Monitoring of Object Invariants with Guarantee
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
Computing persistent homology
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
An Asynchronous Communication Model for Distributed Concurrent Objects
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
An Invariant Approach to Statistical Analysis of Shapes
  • 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
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… Expand
Is this relevant?
1998
1998
Orthogonal to the Java Imperative
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
Higher dimensional uniformisation and W-geometry
Abstract We formulate the uniformisation problem underlying the geometry of Wn-gravity using the differential equation approach… Expand
Is this relevant?
1995
1995
A canonical framework for sequences of images
  • 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
Adaptive 3-D Object Recognition from Multiple Views
The authors address the problem of generating representations of 3-D objects automatically from exploratory view sequences of… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE