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.
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 |
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) | — |