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.
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… 
2004
2004
Invariants of Plane Curves and Polyak-Viro Type Formulas for Vassiliev Invariants
The Kontsevich integral is decomposed into two parts; one part depends on overpass or underpass of the crossing of a knot while… 
Review
2002
Review
2002
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java
2001
2001
Adding Graph Transformation Concepts to UML's Constraint Language OCL
1996
1996
Model based object recognition - the role of affine invariants
1995
1995
Ramanujan's class invariants and cubic continued fraction
(1.1) K ′ K = n L′ L for some positive rational number n. If n is a positive integer, a relation between k and l induced by (1.1… 
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… 
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)