Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,610,137 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
Abstract interpretation
Algorithm
Assertion (software development)
Class invariant
Expand
Broader (2)
Control flow
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A DESIGN METHOD FOR MULTICRITERIA OPTIMISATION OF LOW EXERGY ARCHITECTURE
P. Janssen
,
S. Roudavski
,
B. Tuncer
2013
Corpus ID: 174780052
This paper proposes a design method for the exploration of holistic low exergy design strategies which factor in limitations and…
Expand
Review
2008
Review
2008
Comparison of GPS Tracking Loop Performance in High Dynamic Condition with Nonlinear Filtering Techniques
S. Im
,
Jong-Hwa Song
,
G. Jee
,
C. Park
2008
Corpus ID: 17251292
The conventional GPS tracking loop is optimal in Maximum likelihood Estimation (MLE), respectively. It well works in normal…
Expand
2005
2005
One loop boundary effects: techniques and applications
V. Marachevsky
2005
Corpus ID: 18572938
A pedagogical introduction to the heat kernel technique, zeta function and Casimir effect is presented. Several applications are…
Expand
2002
2002
Single-Loop Antenna Control
W. Gawronski
2002
Corpus ID: 56240187
This article presents a study of a single-loop antenna control system. A typical antenna control system consists of two feedback…
Expand
2000
2000
UTSi CMOS: A Complete RF SOI Solution
R. Reedy
,
J. Cable
,
D. Kelly
,
M. Stuber
,
F. Wright
,
G. Wu
2000
Corpus ID: 54144728
Fully integrated frequency synthesizers are comprised of three major blocks: a voltage controlled oscillator (VCO), a phase…
Expand
1996
1996
Genetic Compilers : A New Technique for Automatic ParallelisationKenneth
K. P. Williams
,
Shirley Williams
1996
Corpus ID: 14051592
In the last three decades a number of compiler transformations for optimising sequential programs for execution on vector or…
Expand
1995
1995
Linear Loop Transformations in Optimizing Compilers for Parallel Machines
D. Kulkarni
,
M. Stumm
1995
Corpus ID: 18428454
We present the linear loop transformation framework which is the formal basis for state of the art optimization techniques in…
Expand
1995
1995
HIGHLY RELIABLE LOOP COMPUTER NETWORK SYSTEM BASED ON AUTONOMOUS DECENTRALIZATION CONCEPT
H. Ihara
,
K. Mori
Twenty-Fifth International Symposium on Fault…
1995
Corpus ID: 60657673
A f a u l t t o l e r a n t loop computer network system is proposed, where f a u l t to le rance of t h e system is a t t a i n…
Expand
1990
1990
The Nimble Type Inferencer for Common Lisp-84
H. Baker
1990
Corpus ID: 353902
interpretation is the name given to the generic process of "executing" a program on a lattice which is much simpler than the…
Expand
1976
1976
On properly embedding planes in 3-manifolds
E. M. Brown
,
M. Brown
,
C. Feustel
1976
Corpus ID: 121276409
In this paper we prove an analog of the loop theorem for a certain class of noncompact 3-manifolds. In particular, we show that…
Expand