programming language specification

C7085

concept

A programming language specification is a formal document that precisely defines a language’s syntax, semantics, and behavior to ensure consistent implementation and usage across tools and platforms.

Try in SPARQL

All labels observed (20)

Label	Occurrences
programming language standard	21
software specification	15
programming language specification canonical	9
Java specification	7
C programming language standard	2
programming language concept	2
C# language specification component	1
C++ language standard revision subset	1
Common Language Infrastructure specification	1
Pascal language standard	1
Programming language specification	1
Programming language standard	1
R6RS specification component	1
Scheme language standard	1
early computer program specification	1
formal specification-related language	1
language specification	1
programming language specification series	1
real-time programming language profile	1
standard for Scheme programming language	1

Description generation (CDg)

The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.

Instruction

generate a one-sentence description for a given conceptual class.
# Response Format
Return only the sentence: "Description: [one-sentence description of the conceptional class]"

Input

Class: programming language specification

Generated description

A programming language specification is a formal document that precisely defines a language’s syntax, semantics, and behavior to ensure consistent implementation and usage across tools and platforms.

Instances (64)

Instance	Via concept surface
ISO/IEC 10514	programming language standard
Revised^n Report on the Algorithmic Language Scheme	—
ECMA-335	Common Language Infrastructure specification
C# lexical structure	programming language concept
.NET specification	software specification
ISO/IEC 30170	programming language standard
Jakarta Persistence	software specification
Jakarta Concurrency	software specification
Jakarta Mail	software specification
Java Transaction API	Java specification
Java Persistence API	Java specification
Standard ML	—
The Definition of Standard ML	programming language standard
ECMAScript	—
C90	programming language standard
ANSI X3.159-1989	programming language standard
ISO 10206	programming language standard
Python generic types	programming language concept
C++23 (partial)	C++ language standard revision subset
Scheme R5RS	programming language standard
Java Portlet Specification	Java specification
ECMA-334	Programming language specification
ISO/IEC 23270	programming language standard
Common Language Specification	software specification
Java Language Specification	—
Connected Limited Device Configuration	software specification
Connected Device Configuration	software specification
Mobile Information Device Profile	software specification
Information Module Profile	software specification
R Language Definition	software specification
ECMA-367	programming language standard
ISO/IEC 25436	programming language standard
Note G	early computer program specification
PlusCal algorithm language surface form: PlusCal	formal specification-related language
ISO/IEC 8652	programming language standard
Ravenscar profile	real-time programming language profile
JTA surface form: Java Transaction API	Java specification
Java EE Connector Architecture	Java specification
JCache (JSR-107)	Java specification
ISO 10206 Extended Pascal standard surface form: ISO 10206 Extended Pascal	programming language standard
ISO/IEC 9899	programming language standard
ANSI X3.74-1987	programming language standard
ISO 6160:1979	Programming language standard
R^nRS	Scheme language standard
IEEE Scheme	programming language standard
R4RS	programming language standard
ANSI INCITS 226-1994 (R2004)	programming language standard
ANSI X3.226-1994	programming language standard
ISO/IEC 1539	programming language standard
R7RS (small) (partial)	—