Skip to search formSkip to main contentSkip to account menu

Loop invariant

Known as: Invariant, Loop invarient, Loop-invariant code 
In computer science, a loop invariant is a property of a program loop that is true before (and after) each iteration. It is a logical assertion… 
Wikipedia (opens in a new tab)

Related topics

Related topics

31 relations
Abstract interpretationAlgorithmAssertion (software development)Class invariant

Broader (2)

Control flowFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Extensions and further applications of the nonlocal Polyakov{Nambu{Jona-Lasinio model
The nonlocal Polyakov-loop-extended Nambu-Jona-Lasinio model is further improved by including momentum-dependent wave-function… 
Highly Cited
2010
Highly Cited
2010
The use of invariant manifolds for transfers between unstable periodic orbits of different energies
Techniques from dynamical systems theory have been applied to the construction of transfers between unstable periodic orbits that… 
2007
2007
A New Control Scheme of Hybrid Active Filter Using Self-Tuning-Filter
This paper presents a new control scheme using Self Tuning Filter placed in both feedback and feedforward control of a parallel… 
2005
2005
Solvent and mutation effects on the nucleation of amyloid-protein folding
Experimental evidence suggests that the folding and aggregation of the amyloid -protein (A ) into oligomers is a key pathogenetic… 
Highly Cited
2004
Highly Cited
2004
Design of Robustly Stable Disturbance Observers Based on Closed Loop Consideration Using H ∞ Optimization and its Applications to Motion Control Systems
In disturbance-observer-based control, the closed loop system consists of a main feedback control loop and an inner disturbance… 
2001
2001
A Layout-Conscious Iteration Space Transformation Technique
Exploiting locality of references has become extremely important in realizing the potential performance of modern machines with… 
2000
2000
Improving effective bandwidth through compiler enhancement of global and dynamic cache reuse
While CPU speed has been improved by a factor of 6400 over the past twenty years, memory bandwidth has increased by a factor of… 
1994
1994
Optimum loop filter in hybrid coders
Examines the role of the loop/interpolation filter in the motion compensation loop of hybrid coders. Using the Wiener filtering… 
Highly Cited
1990
Highly Cited
1990
Linear averaged and sampled data models for large signal control of high power factor AC-DC converters
It is shown that the large signal behavior of a popular family of high power factor AC-to-DC power conditioners can be analyzed… 
1988
1988
Optimization of horizontal microcode generation for loop structures
MIMOSA is an experimental software for the automatic generation and optimization of microcode for horizontal microprogrammed… 
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)