John Backus sometió a una propuesta a sus superiores en IBM para desarrollar una alternativa mas practica al lenguaje ensamblador para programar la computadora central IBM 704 Konrad Zuse diseñó el lenguaje de programación de alto nivel Plankalkül (Cálculo de Programas)

Se creo COBOL (acrónimo de CO mmon B usiness - O riented L anguage, Lenguaje Común Orientado a Negocios) uno de los lenguajes usados aun en 2010 en informática de gestión APL ( A P rograming L anguage, también conocido como Array Processing Language desde hace algunos años) es un lenguaje de programación interpretado desarrollado por Kenneth Iverson de IBM B es el nombre de un lenguaje de programación desarrollado en los Bell Labs, predecesor del lenguaje de programación C. Fue mayoritariamente un trabajo de Kenneth L. Thompson con contribuciones de Dennis M. Ritchie publicado por primera vez en el año 1969

El Fortran (previamente FORTRAN ) (del inglés For mula Tran slating System) es un lenguaje de programación de alto nivel de propósito general procedimental e imperativo, que esta especialmente adaptado al cálculo numérico y a la computación científica fue desarrollado por IBM Pascal es un lenguaje de programación desarrollado por el profesor suizo Niklaus Wirth entre los años 1968/9 y publicado en Su objetivo era crear un lenguaje que facilitara el aprendizaje de programación a sus alumnos, utilizando la programación estructurada y estructuración de datos. Sin embargo con el tiempo su utilización excedió el ámbito académico para convertirse en una herramienta para la creación de aplicaciones de todo tipo

Smalltalk es un lenguaje de programación que permite realizar tareas de computación mediante la interacción con un entorno de objetos virtuales. Metafóricamente, se puede considerar que un Smalltalk es un mundo virtual donde viven objetos que se comunican mediante el envío de mensajes El lenguaje de consulta estructurado o SQL (por sus siglas en inglés structured query Language) es un lenguaje declarativo de acceso a bases de datos relacionales que permite especificar diversos tipos de operaciones en éstas. Una de sus características es el manejo del álgebra y el cálculo relacional permitiendo efectuar consultas con el fin de recuperar -de una forma sencilla- información de interés de una base de datos, así como también hacer cambios sobre ella.

A medida que la complejidad de las tareas que realizaban las computadoras aumentaba, se hizo necesario disponer de un método más eficiente para programarlas. Entonces, se crearon los lenguajes de alto nivel, como lo fue BASIC en las versiones introducidas en los microordenadores Eiffel fue ideado en 1985 por Bertrand Meyer. Es un lenguaje de programación orientado a objetos centrado en la construcción de software robusto. Su sintaxis es parecida a la del lenguaje de programación Pascal. Una característica que lo distingue del resto de los lenguajes es que permite el diseño por contrato desde la base, con precondiciones, pos condiciones, invariantes y variantes de bucle, invariantes de clase y aserciones.