In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity. Related documentation includes a programming language reference, which is intended expressly for users, and a programming language rationale, which explains why the specification is written as it is; these are typically more informal than a specification.
and 16 Related for: Programming language specification information
computer programming, a programminglanguagespecification (or standard or definition) is a documentation artifact that defines a programminglanguage so that...
much higher level than a programminglanguage, which is used to produce the executable code for a system. Specificationlanguages are generally not directly...
formal specificationlanguage used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based...
In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm...
Extended ML is a wide-spectrum programminglanguage based on the languages ML and Standard ML, covering both programspecification and implementation. It extends...
OpenGL Shading Language (GLSL) is a high-level shading language with a syntax based on the C programminglanguage. It was created by the OpenGL ARB (OpenGL...
now part of the UML standard. Initially, OCL was merely a formal specificationlanguage extension for UML. OCL may now be used with any Meta-Object Facility...
Property SpecificationLanguage (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement...
The Process SpecificationLanguage (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides...
In computer science Language of Temporal Ordering Specification (LOTOS) is a formal specificationlanguage based on temporal ordering of events. LOTOS...
science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic...
The Document Style Semantics and SpecificationLanguage (DSSSL) is an international standard developed to provide stylesheets for SGML documents. DSSSL...
declared in the interface. Modular programming is closely related to structured programming and object-oriented programming, all having the same goal of facilitating...
A concatenative programminglanguage is a point-free computer programminglanguage in which all expressions denote functions, and the juxtaposition of...