Language-independent specification
Encyclopedia
A language-independent specification (LIS) is a programming language
specification providing a common interface usable for defining semantics
applicable toward arbitrary language binding
s. LISs are language-agnostic. LISs also mitigate the risk that a certain language binding might reduce compatibility with other languages; an ideal LIS allows the language bindings to take advantage of features of a programming language uncompromisingly.
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
specification providing a common interface usable for defining semantics
Formal semantics of programming languages
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation...
applicable toward arbitrary language binding
Language binding
In computing, a binding from a programming language to a library or OS service is an API providing that service in the language.Many software libraries are written in systems programming languages such as C or C++...
s. LISs are language-agnostic. LISs also mitigate the risk that a certain language binding might reduce compatibility with other languages; an ideal LIS allows the language bindings to take advantage of features of a programming language uncompromisingly.