Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
On inequalities among some cardinal invariants
The strong sequences method was introduced by B. A. Efimov, as a useful method for proving famous theorems in dyadic spaces… 
2015
2015
On Some Properties and Symmetries of the 5-Dimensional Lorenz System
The 5-dimensional Lorenz system for the gravity-wave activity is considered. Some stability problems and the existence of… 
2015
2015
Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs
If software code is developed by humans, can we as users rely on its absolute correctness? Today's software is large, complex… 
2008
2008
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
2007
2007
On the Benson-Ratcliff invariant of coadjoint orbits on nilpotent Lie groups
We provide in this paper a counterexample to the Benson-Ratcliff conjecture about a cohomology class invariant on coadjoint… 
2004
2004
TRACKING OBJECTS FROM MULTIPLE STATIONARY AND MOVING CAMERAS
This paper presents a novel approach for multi-views tracking of moving objects observed by multiple, stationary or moving… 
2001
2001
Adding Graph Transformation Concepts to UML's Constraint Language OCL
1996
1996
Model based object recognition - the role of affine invariants
1992
1992
Symplectic phase flow approximation for the numerical integration of canonical systems
SummaryNew methods are presented for the numerical integration of ordinary differential equations of the important family of… 
1991
1991
A Liberal Arts Software Engineering Course
This article describes a course in “software engineering” within a liberal arts computer science curriculum. This course stresses… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)