Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A fundamental problem in program verification concerns inferring loop invariants. The problem is undecidable and even practical… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper presents a method for automatically generating all polynomial invariants in simple loops. It is first shown that the… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present a new technique for the generation of non-linear (algebraic) invariants of a program. Our technique uses the theory of… Expand
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper presents a modular and extensible high-level synthesis research system, called SPARK, that takes a behavioral… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
entities The main characteristic of abstract entities is that they do not have spatial nor temporal qualities, and they are not… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
From the Publisher: Written by a world-renowned expert on programming methodology, this book shows how to build production… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 2.1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
 
Is this relevant?
Highly Cited
1974
Highly Cited
1974
For serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to… Expand
Is this relevant?