Compiladores ADA: estado actual.

Notes: Pertenece a un dossier sobre ADA
Los compiladores son unos programas que traducen programas escritos en un lenguaje de alto nivel a lenguaje objeto o código máquina.Hay multitud de compiladores reseñados en una tabla adjunta. La validación consiste en crear tests que detectan los errores del compilador cuya probabilidad de aparecer sea alta y que el resto lo valice el usuario. Hay dos métodos de validación: De programación estructurada y Fórmulas de procedimiento, ambos son explicados, al igual que los modelos comerciales más usados.