Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,772 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.
2017
2017
Online Supplement to Delay-Based Service Differentiation in a Many-Server Queue with Time-Varying Arrival Rates
Xu Sun
,
W. Whitt
2017
Corpus ID: 29502152
We study the problem of service-level (SL) differentiation in a multi-class many-server queueing system with time-varying (TV…
Expand
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
2015
2015
Abstraction-guided Runtime Checking of Assertions on Lists
A. Gyori
,
P. Garg
,
E. Pek
,
P. Madhusudan
2015
Corpus ID: 18640842
ion-guided Runtime Checking of Assertions on Lists Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan University of Illinois at…
Expand
2008
2008
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
M. Fähndrich
,
D. Garbervetsky
,
W. Schulte
Journal of Object Technology
2008
Corpus ID: 17909488
We are interested in object-oriented programming methodologies that enable static verification of object-invariants. Reasoning…
Expand
2007
2007
Construction and Classification of Discrete Kinetic Models without Spurious Invariants
A. Bobylev
,
Mirela Vinerean-Bernhoff
2007
Corpus ID: 118127644
2007
2007
On Jones Knot Invariants and Vassiliev
Jun Zhu
2007
Corpus ID: 18472871
We show that the n-th derivative of a quantum group invariant, evaluated at 1, is a Vassiliev invariant while the derivative of…
Expand
2007
2007
A compositional proof system for dynamic object systems
Johan Dovland
,
E. Johnsen
,
Olaf Owe
2007
Corpus ID: 1812577
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are…
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
Review
1996
Review
1996
Class numbers and Iwasawa invariants of quadratic fields
James S. Kraft
1996
Corpus ID: 119061577
Let Q(v -d) and Q( 3d) be quadratic fields with d 2 (mod 3) a positive integer. Let A-, A+ be the respective Iwasawa A-invariants…
Expand
1991
1991
A Liberal Arts Software Engineering Course
Richard G. Epstein
Computer Science Education
1991
Corpus ID: 28842175
This article describes a course in “software engineering” within a liberal arts computer science curriculum. This course stresses…
Expand