declarative languages
declarative languages (nonprocedural languages) A class of programming languages. With a declarative language a program explicitly states what properties the desired result is required to exhibit but does not state how the desired result is to be obtained; any means of producing a result that displays the required properties is acceptable in implementations (compare imperative languages).
Since declarative languages are concerned with static rather than dynamic concepts (i.e. with what rather than how), they do not depend on any inherent notion of ordering and there is no concept of flow of control and no assignment statement. Ideally a program in a declarative language would consist solely of an unordered set of equations sufficient to characterize the desired result. However, for reasons of implementation and efficiency, the existing languages fall somewhat short of this, either in semantics or in style of use (or both). Declarative languages are not tied to the von Neumann model of computation and typically there is scope for employing new architectures with a high degree of parallelism in obtaining the desired result.
See also functional languages, logic programming languages.
Since declarative languages are concerned with static rather than dynamic concepts (i.e. with what rather than how), they do not depend on any inherent notion of ordering and there is no concept of flow of control and no assignment statement. Ideally a program in a declarative language would consist solely of an unordered set of equations sufficient to characterize the desired result. However, for reasons of implementation and efficiency, the existing languages fall somewhat short of this, either in semantics or in style of use (or both). Declarative languages are not tied to the von Neumann model of computation and typically there is scope for employing new architectures with a high degree of parallelism in obtaining the desired result.
See also functional languages, logic programming languages.
More From encyclopedia.com
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… 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… Pashto , Pashto (Pushto) One of the two major languages of Afghanistan, the other being Persian. Pashto is spoken by about 12 million people in e Afghanistan… Hungarian Language , Hungarian •antipodean, Crimean, Judaean, Korean •Albion •Gambian, Zambian •lesbian •Arabian, Bessarabian, Fabian, gabion, Sabian, Swabian •amphibian,… Artificial Languages , ARTIFICIAL LANGUAGE.
1. An invented language, such as Zamenhof's Esperanto, formed by blending elements of various Indo-European languages, or an ada…
You Might Also Like
NEARBY TERMS
declarative languages