ASSEMBLEUR
FORTRAN
PASCAL
C, C++
ADA
MODULA
SIMULA
LISP
LTR
GRAFCET
...
Ces langages sont plus ou moins bien adaptés à la spécification d'algorithmes où il est nécessaire d'exprimer du parallélisme et d'effectuer des manipulations temporelles.