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… 
2004
2004
On the effects of voltage subharmonics on power transformers: a preliminary study
In this paper the effects that voltage subharmonics have on power transformers are presented. The work tackles the basic case of… 
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… 
2001
2001
Fixed poles of disturbance rejection by dynamic measurement feedback: a geometric approach
2000
2000
UTSi CMOS: A Complete RF SOI Solution
Fully integrated frequency synthesizers are comprised of three major blocks: a voltage controlled oscillator (VCO), a phase… 
1996
1996
Cross-Loop Reuse Analysis and Its Application to Cache Optimizations
In this paper we describe the design of a data-flow framework for detecting cross-loop reuse. Cross-loop reuse takes place when a… 
1995
1995
Linear Loop Transformations in Optimizing Compilers for Parallel Machines
We present the linear loop transformation framework which is the formal basis for state of the art optimization techniques in… 
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)