"language specification" is correct and usable in written English.
You can use it when discussing a particular language's set of rules governing the syntax and semantics of a language such as a computer programming language. For example: "The language specification for Java requires that all variables be declared before use."
CAL is a domain-specific language for writing dataflow actors, with the final language specification released at the end of 2003 [36].
This chapter discusses the SysML language architecture and object management group (OMG) SysML language specification.
The ambiguities are those issues that are not defined clearly in the Java language specification.
By default, GHC follows the Haskell language specification (i.e., the Haskell 98 report [8]), which imposes the following restrictions.
This XQuery engine is fully compliant with the August 2002 draft of the W3C XML Query Language specification.
First, they developed an island parser based on constructs in the Java Language Specification in order to identify code-like terms from free-form text and code fragments.
The modelling of JFK is done according to the Unified Modelling Language specifications.
This is achieved by creating a formal vocabulary according to the Ontology Web Language specifications to assess the energy performance of an urban area.
It proposes a method for transforming controlled natural language specifications based on the Semantics of Business Vocabulary and Business Rules standard.
Thereafter, a multiple-layer model based on XML (Extensible Markup Language) specifications and vector graphics was designed in order to generate similar reports in electronic form.
I would suggest that they show one of two concrete examples and provide English language specifications of the FOL-like formulae that describe the partitioning of reads.
