single-assignment languages
single-assignment languages A class of programming languages. These languages have the appearance of traditional imperative languages in that they incorporate the assignment statement and typical control flow constructs such as if statements and loops. They impose the limitation, however, that no variable may be assigned a value more than once. (Special provision must be made for assignment statements within loops.) This limitation significantly alters the nature of the assignment statement, which can then be viewed as statically associating a name with a value rather than as a dynamic destructive operation. This static nature allows the normal ordering restrictions of imperative languages to be relaxed, and assignment statements can be executed as soon as the expression on the right-hand side can be evaluated. Because of this property, single-assignment languages are closely associated with dataflow computing (see dataflow machine).
More From encyclopedia.com
Parsing , PARSING [From the verb parse, from Latin pars/partis a part, abstracted from the phrase pars orationis part of speech].
1. Analysing a SENTENCE into… Edison , Edison A programming language for designing reliable real-time programs for multiprocessor systems. Edison is block-structured and includes modules,… statement , state·ment / ˈstātmənt/ • n. a definite or clear expression of something in speech or writing: do you agree with this statement? this is correct as a… Verification , The term "verification" concerns statements or theories. Since a theory can be formulated as a conjunction of hypotheses, and therefore as a single s… Formal Language , formal language
1. A language with explicit and precise rules for its syntax and semantics. Examples include programming languages and also logics su… International Language , international language, sometimes called universal language, a language intended to be used by people of different linguistic backgrounds to facilita…
You Might Also Like
NEARBY TERMS
single-assignment languages