Category:Programming language

A programming language is a formal language that is typically used to write computer programs. Pages in this category should describe concrete programming languages.

Note that some ontology languages are expressive enough to specify arbitrary computations ("Turing complete"). Yet, if they are primarily used and conceived for ontological specification, they should still be classified as ontology languages rather than as programming languages.