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
Assign , as·sign / əˈsīn/ • v. [tr.] 1. allocate (a job or duty): Congress assigned the task to the agency. ∎ (often be assigned) appoint (someone) to a parti… ASSIGNMENT , as·sign·ment / əˈsīnmənt/ • n. 1. a task or piece of work assigned to someone as part of a job or course of study: a homework assignment. ∎ the alloc… 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… 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…
About this article
Updated About encyclopedia.com content Print Article
You Might Also Like