Skip to search formSkip to main contentSkip to account menu

Invariant (computer science)

Known as: Invariant, Programming invariant 
In computer science, an invariant is a condition that can be relied upon to be true during execution of a program, or during some portion of it. It… 
Wikipedia (opens in a new tab)

Related topics

Related topics

38 relations
AP Computer Science AAVL treeAbstract interpretationAssertion (software development)

Broader (2)

Computer programmingFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
View-centric engineering with synchronized heterogeneous models
Model-Driven Engineering provides an abstract representation of systems through the use of models and views. For complex systems… 
Highly Cited
2008
Highly Cited
2008
Mitigating Android Software Misuse Before It Happens
Mobile phones running open operating systems such as Google Android will soon be the norm in cellular networks. These systems… 
2007
2007
On the Evolution of Wikipedia
A recent phenomenon on the Web is the emergence and proliferation of new social media systems allowing social interaction between… 
Highly Cited
1998
Highly Cited
1998
Magnetotelluric tensor decomposition: Part I, Theory for a basic procedure
The problem of expressing a general 3-D magnetotelluric (MT) impedance tensor in the form of a 2-D tensor that has been distorted… 
Highly Cited
1995
Highly Cited
1995
OnS-duality in Abelian gauge theory
U(1) gauge theory onR4 is known to possess an electric-magnetic duality symmetry that inverts the coupling constant and extends… 
1990
1990
Conditions for Implicit Parallelism
Highly Cited
1988
Highly Cited
1988
A GAUGE INVARIANT ACTION IN TOPOLOGICAL QUANTUM FIELD THEORY
Highly Cited
1986
Highly Cited
1986
Geometry of GP−V
Highly Cited
1973
Highly Cited
1973
A minimal realization algorithm for matrix sequences
We give an algorithm for solving the Pade approximation problem for matrix sequences over an arbitrary field. The algorithm is a… 
Highly Cited
1972
Highly Cited
1972
Automatic computation of exponentials, logarithms, ratios and square roots
It is shown how a relatively simple device can evaluate exponentials, logarithms, ratios and square roots for fraction arguments… 
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)