free society. We build this foundation.
With your help, we will raise $450,000 this
winter to make this foundation even stronger.
Donate today, and build us up for 2014.
BLooP is a language that has only bounded loops, in other words before you enter a loop you have to give a fixed upper limit on the number of times to run the body, and you can’t change the limit while in the loop. It is impossible for a BLooP program to run forever; it always quits with an output in some finite time, an upper limit for which is predictable in advance. Functions that BLooP can compute are called primitive recursive functions, and it turns out that not all functions are primitive recursive. The FLooP language is the same as BLooP with the addition of an unbounded loop (MU-LOOP). FLooP can calculate anything your computer can calculate, but you cannot say in general whether a FLooP program will eventually terminate.
released on 28 October 2010
|License||Verified by||Verified on||Notes|
|GPLv3 with exception||Kelly Hopkins||11 January 2010|
|Expat||Kelly Hopkins||11 January 2010|
Leaders and contributors
Resources and communication
|Developer||VCS Repository Webview||http://www.bamsoftware.com/bzr/bfloop|
This entry (in part or in whole) was last reviewed on 13 March 2012.