programming language
C1703
concept
A programming language is a formal system of syntax and semantics that allows humans to write instructions a computer can execute to perform specific tasks or solve problems.
All labels observed (62)
| Label | Occurrences |
|---|---|
| programming language canonical | 215 |
| domain-specific language | 20 |
| educational programming language | 6 |
| shading language | 5 |
| multi-paradigm programming language | 4 |
| programming language version | 4 |
| AI programming language | 3 |
| procedural language | 3 |
| server-side programming language | 3 |
| JVM language | 2 |
| business-oriented programming language | 2 |
| computer language | 2 |
| distributed programming language | 2 |
| dynamic programming language | 2 |
| experimental programming language | 2 |
| logic programming language | 2 |
| low-level programming language | 2 |
| modular programming language | 2 |
| numerical computing language | 2 |
| programming language subset | 2 |
| stack-based programming language | 2 |
| transpiled language | 2 |
| C++ dialect | 1 |
| C-like programming language | 1 |
| Java-like scripting language | 1 |
| Pascal dialect | 1 |
| TI-BASIC dialect | 1 |
| calculator programming language | 1 |
| client-optimized programming language | 1 |
| data processing language | 1 |
| declarative programming language | 1 |
| domain-specific programming language | 1 |
| dynamically typed programming language | 1 |
| event-driven programming language | 1 |
| imperative programming language family | 1 |
| list processing language | 1 |
| minimalist programming language | 1 |
| multi-method programming language | 1 |
| multithreaded programming language | 1 |
| non-strict programming language | 1 |
| pattern matching language | 1 |
| probabilistic programming language | 1 |
| programming language category | 1 |
| programming language framework | 1 |
| programming language syntax | 1 |
| programming language variant | 1 |
| programming platform | 1 |
| proprietary programming language | 1 |
| pseudocode-style language | 1 |
| research programming language | 1 |
| scientific computing language | 1 |
| scripting language specification | 1 |
| simulation programming language | 1 |
| smart contract language | 1 |
| smart contract programming language | 1 |
| statistical programming language | 1 |
| string processing language | 1 |
| structured programming language | 1 |
| symbolic programming language | 1 |
| text processing language | 1 |
| verification-oriented programming language | 1 |
| visual programming language for children | 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
Generated description
A programming language is a formal system of syntax and semantics that allows humans to write instructions a computer can execute to perform specific tasks or solve problems.
Instances (264)
| Instance | Via concept surface |
|---|---|
| C++/CLI | — |
|
ACL2 theorem proving system
surface form:
ACL2
|
— |
|
Eiffel programming language
surface form:
Eiffel (programming language)
|
— |
| LotusScript | — |
|
Pizza programming language
surface form:
Pizza (programming language)
|
— |
| M | domain-specific language |
| VBA | — |
| GLSL | shading language |
| Kotlin DSL | domain-specific language |
| Beta (programming language) | — |
| Solidity | — |
| Vyper | smart contract programming language |
| JavaScript | — |
| Logo | educational programming language |
| Objective-C | — |
| Forth | — |
| PL/Perl | procedural language |
| Pyrex | — |
| BrainScript | domain-specific language |
| BrainScript modeling language | domain-specific language |
|
Limbo programming language
surface form:
Limbo
|
— |
| S programming language | — |
| Raku | — |
| Practical Extraction and Report Language | — |
|
Hope programming language
surface form:
Hope
|
— |
| PureScript | — |
| Idris | — |
|
Luiz Henrique de Figueiredo
surface form:
Lua programming language
|
— |
| SNOBOL | — |
| Modula | — |
|
Moonscript
surface form:
MoonScript
|
— |
|
Roblox (via a dialect, Luau)
surface form:
Luau
|
— |
| METAPOST | — |
| AutoLISP | — |
| Arc | — |
| NewLISP | — |
|
Russell Atkinson
surface form:
CLU
|
— |
|
Craig Schaffert
surface form:
CLU
|
— |
| Spec# | verification-oriented programming language |
| occam programming language | — |
| Prolog | — |
|
Alan Snyder
surface form:
CLU programming language
|
— |
| Algol family | imperative programming language family |
|
PlusCal algorithm language
surface form:
PlusCal
|
pseudocode-style language |
| Cyclone | — |
| BitC | — |
| BCPL | — |
| SETL | — |
| SQL | — |
| Zetalisp | — |