Los "lenguajes de programación de sistemas" (o "lenguajes de aplicación") son lenguajes con tipificación estática de datos, que permiten el uso de estructuras de datos arbitrariamente complejas y que son compilados.