specification language
specification language A language that is used in expressing a specification. It has a formally defined syntax and semantics, and its design is based on a mathematical method for modeling or defining systems (e.g. set theory, equations and initial algebras, predicate logic). Examples include SADT, RSL, VDM, OBJ, and Z.
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… Specific Yield , specific yield 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… Syntax , Syntax
"Syntax" is the theory of the construction of sentences out of words. In linguistics, syntax is distinguished from morphology, or the theory o… International Language , international language, sometimes called universal language, a language intended to be used by people of different linguistic backgrounds to facilita… Algol , Algol
Algol Acronym for algorithmic language. The generic name for a family of high-level languages of great significance in the development of compu…
You Might Also Like
NEARBY TERMS
specification language