While loop

Known as: Wend, While (disambiguation), While (programming language) 
In most computer programming languages, a while loop is a control flow statement that allows code to be executed repeatedly based on a given boolean… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1961-2017
05101519612017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Traditionally, invariant assertions are used to verify the partial correctness of while loops with respect to pre/post… (More)
  • figure 1
Is this relevant?
2011
2011
Many applications contain loops with an undetermined number of iterations. These loops have to be parallelized in order to… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2008
2008
We introduce a calculus for reasoning about programs in total correctness which blends UTP designs with von Wright’s notion of a… (More)
Is this relevant?
2007
2007
Frederick winslow Taylor Born in 1856, Taylor came of age in an era replete with innovations in materials science and technology… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems… (More)
Is this relevant?
2000
2000
Current parallelizing compilers cannot identify a significant fraction of parallelizable loops because they have complex or… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
1999
1999
 The effects of applying either inorganic fertilizer or leaf mulch of Acacia saligna (Labill.) H.L. Wend. on yields of Sorghum… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
1995
1995
Automatic parallelization of imperative programs has focused on nests of do loops with aane bounds and aane dependences, because… (More)
Is this relevant?
1994
1994
A WHILE-loop can be viewed as a FOR-loop with a dynamic upper bound. The computational model of convex polytopes is useful for… (More)
Is this relevant?
1994
1994
  • Jean-Frann
  • 1994
Automatic parallelization techniques of sequential programs have focused on nests of for-loops. This work describes a method to… (More)
Is this relevant?