Programming languages created in 1984

ANSI-standardized dialect of Lisp

Verilog, standardized as IEEE 1364, is a hardware description language (HDL) used to model electronic systems. It is most commonly used in the design and verification of digital circuits, with the highest level of abstraction being at the register-transfer level. It is also used in the verification of analog circuits and mixed-signal circuits, as well as in the design of genetic circuits.

programming language

thumb|300x300px|An interactive proof session in CoqIDE, showing the proof script on the left and the proof state on the right.

programming language

relational database and programming language