Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,301 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Ada
Composition over inheritance
Computer programming
Constructor (object-oriented programming)
Expand
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
Marina Zaharieva-Stojanovski
2015
Corpus ID: 51543429
If software code is developed by humans, can we as users rely on its absolute correctness? Today's software is large, complex…
Expand
2008
2008
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Johan Dovland
,
E. Johnsen
,
Olaf Owe
FInCo@ETAPS
2008
Corpus ID: 8592041
2007
2007
On the Benson-Ratcliff invariant of coadjoint orbits on nilpotent Lie groups
A. Baklouti
,
K. Tounsi
2007
Corpus ID: 118437940
We provide in this paper a counterexample to the Benson-Ratcliff conjecture about a cohomology class invariant on coadjoint…
Expand
2004
2004
TRACKING OBJECTS FROM MULTIPLE STATIONARY AND MOVING CAMERAS
J. Kang
,
I. Cohen
,
G. Medioni
2004
Corpus ID: 8037420
This paper presents a novel approach for multi-views tracking of moving objects observed by multiple, stationary or moving…
Expand
2004
2004
Invariants of Plane Curves and Polyak-Viro Type Formulas for Vassiliev Invariants
T. Ochiai
2004
Corpus ID: 55064893
The Kontsevich integral is decomposed into two parts; one part depends on overpass or underpass of the crossing of a knot while…
Expand
Review
2002
Review
2002
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java
Parker Abercrombie
,
M. Karaorman
RV@FLoC
2002
Corpus ID: 15143950
2001
2001
Adding Graph Transformation Concepts to UML's Constraint Language OCL
Andy Schürr
UNIGRA
2001
Corpus ID: 30299195
1996
1996
Model based object recognition - the role of affine invariants
S. Bose
,
K. K. Biswas
,
S. K. Gupta
Artificial Intelligence in Engineering
1996
Corpus ID: 44608047
1995
1995
Ramanujan's class invariants and cubic continued fraction
B. Berndt
,
H. Chan
,
Liang-Cheng Zhang
1995
Corpus ID: 117830761
(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…
Expand
1992
1992
Symplectic phase flow approximation for the numerical integration of canonical systems
S. Miesbach
,
H. J. Pesch
1992
Corpus ID: 54721961
SummaryNew methods are presented for the numerical integration of ordinary differential equations of the important family of…
Expand
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)
ACCEPT & CONTINUE
or Only Accept Required