
7
Ada 2012 es la próxima generación del lenguaje de programación más importante del mundo para la ingeniería de software seguro y confiable.Ada es ampliamente utilizado en sistemas críticos, donde cualquier anomalía puede tener consecuencias muy graves, por ejemplo, muerte accidental, lesiones o pérdidas financieras graves.Los ejemplos de sistemas donde se usa Ada incluyen tecnología de aviónica, ferrocarriles, banca, militar y espacial.
Sitio web:
http://www.ada2012.orgCategorias
Alternativas a Ada para Linux

1126

582
Java
Java es un lenguaje de programación de computadora de propósito general que es concurrente, basado en clases, orientado a objetos y específicamente diseñado para tener la menor cantidad posible de dependencias de implementación.

416

278
C (programming language)
C es un lenguaje de programación de computadora de uso general.C es uno de los lenguajes de programación más utilizados de todos los tiempos.

266

243

178

104
Go (Programming Language)
Go es un lenguaje de programación de código abierto que facilita la creación de software simple, confiable y eficiente.

61

53

51
D (Programming Language)
D es un lenguaje con sintaxis tipo C y escritura estática.Combina pragmáticamente la eficiencia, el control y la potencia de modelado, con la seguridad y la productividad del programador.

27
Nim (programming language)
Nim es un lenguaje de programación imperativo de tipo estático con un poderoso sistema macro que intenta darle al programador el máximo poder sin comprometer la eficiencia del tiempo de ejecución.

17
F# (programming language)
F # es un lenguaje funcional y orientado a objetos sucinto, expresivo y eficiente para .NET que le ayuda a escribir código simple para resolver problemas complejos.

7
Crystal (programming language)
Lenguaje de programación con sintaxis tipo Ruby que se compila en un código nativo eficiente.

2
Nim (programming language)
Nim es un lenguaje de programación imperativo de tipo estático que intenta darle al programador la máxima potencia sin comprometer la eficiencia del tiempo de ejecución.