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
1999
Highly Cited
1999
Behavioral Specification of Distributed Software Component Interfaces
Networked computers are finding their way into a broader range of environments, from corporate offices to schools, homes, and… 
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
1993
Highly Cited
1993
Quasi-invariant properties and 3-D shape recovery of non-straight, non-constant generalized cylinders
The geometric protective properties of the contours of right generalized cylinders with a planar, but not necessarily straight… 
1990
1990
Conditions for Implicit Parallelism
Highly Cited
1989
Highly Cited
1989
Object recognition based on graph matching implemented by a Hopfield-style neural network
A model-based object recognition technique is presented. For each model, distinct features such as curvature points are extracted… 
Highly Cited
1988
Highly Cited
1988
A GAUGE INVARIANT ACTION IN TOPOLOGICAL QUANTUM FIELD THEORY
Highly Cited
1988
Highly Cited
1988
Principles and engineering of process control with Petri nets
Event-related control is considered in which process and related process control can be described by states and transitions that… 
Highly Cited
1978
Highly Cited
1978
A Synthesis Rule for Concurrent Systems
Concurrent (hardware and software) systems can become extremely complex due to the existence of multiple loci of control… 
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… 
Highly Cited
1972
Highly Cited
1972
File organization
The consecutive retrieval property is an important relation between a query set and record set. Its existence enables the design… 
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)