Programming languages
AIMMS
AppleScript
Bertrand
CDuce
CLIST
Coq
DATATRIEVE
EGL
Executable UML
FOCUS
GNU E
Programming languages
Q
Q is a programming language created by the software company Kx Systems. It is a functional programming language and database query language. Q is used by companies such as Goldman Sachs, JPMorgan, and Bloomberg.
P′′
Q#