while programming language
while programming language A small imperative programming language whose programs are based on a signature Σ and are made from assignments, sequential composition, conditional statements, and while statements. Programs in the language are defined, using an abbreviated BNF notation, by
S ::= x:=t | S1;S2 |
if b then S1 else S2 fi |
while b do S od
where x is any variable, t is any term over the signature Σ, b is a Boolean term, and S, S1, and S2 are while programs. The role of the signature is to define the data types (and hence the types of variables needed) and the basic operations on data (and hence the terms that appear in assignments). The while programming language can compute functions and sets on any algebra with signature Σ. When applied to the simple algebra ({0,1,2,…} | 0, n+1)
of natural numbers, the while programs compute all partial recursive functions. The while language is an important language for the theoretical analysis of ideas about imperative programming. It is easily extended by adding constructs, such as the concurrent assignment, repeat and for statements, and nondeterministic constructs (like the random assignment x := ?).
S ::= x:=t | S1;S2 |
if b then S1 else S2 fi |
while b do S od
where x is any variable, t is any term over the signature Σ, b is a Boolean term, and S, S1, and S2 are while programs. The role of the signature is to define the data types (and hence the types of variables needed) and the basic operations on data (and hence the terms that appear in assignments). The while programming language can compute functions and sets on any algebra with signature Σ. When applied to the simple algebra ({0,1,2,…} | 0, n+1)
of natural numbers, the while programs compute all partial recursive functions. The while language is an important language for the theoretical analysis of ideas about imperative programming. It is easily extended by adding constructs, such as the concurrent assignment, repeat and for statements, and nondeterministic constructs (like the random assignment x := ?).
More From encyclopedia.com
Programming Language , In order for computers to accept commands from humans and perform tasks vital to productivity and e-commerce, a means of communication must exist. Pr… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… Lisp , LISP
LISP, an acronym for LISt Processing, is a programming language developed by John McCarthy in the late 1950s. Although LISP is a general-purpose… C (programming Language) , C (Programming Language)
C is a high-level programming language that is used to develop many kinds of software, including applications that are used… compiler , compiler •beguiler, compiler, Delilah, filer, Isla, miler, reviler, smiler, styler, tiler, Tyler •idler •stifler, trifler •recycler • Kreisler • prof… Edison , Edison A programming language for designing reliable real-time programs for multiprocessor systems. Edison is block-structured and includes modules,…
You Might Also Like
NEARBY TERMS
while programming language