Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,985,124 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
2012
2012
Neuromorphic modeling of reaching arm movements
R. Tibold
2012
Corpus ID: 64428388
A dynamic, three-dimensional (3D) musculoskeletal model was developed to simulate complex, slightly restricted (prono-supination…
Expand
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
Construction and Classification of Discrete Kinetic Models without Spurious Invariants
A. Bobylev
,
Mirela Vinerean-Bernhoff
2007
Corpus ID: 118127644
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
2006
2006
CONSTRUCTION OF NEW SYMPLECTIC
Anar Akhmedov
2006
Corpus ID: 13052053
In this article, we present new symplectic 4-manifolds with same cohomology as S × S. We also compute the SeibergWitten…
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