The Ada Programming Language

Descripción

Este libro es una guía para programadores sobre el lenguaje de programación Ada. Ada es un lenguaje de programación de alto nivel, estructurado, de tipo estático, imperativo y orientado a objetos, que se extiende desde Pascal y otros lenguajes. Tiene soporte de lenguaje incorporado para diseño por contrato (DbC), tipado extremadamente fuerte, concurrencia explícita, tareas, paso de mensajes síncronos, objetos protegidos y no determinismo. Ada mejora la seguridad y el mantenimiento del código mediante el uso del compilador para encontrar errores en lugar de errores en tiempo de ejecución. Ada es un estándar técnico internacional, definido conjuntamente por la Organización Internacional de Normalización (ISO) y la Comisión Electrotécnica Internacional (IEC). Ada fue nombrada en honor a Ada Lovelace (1815?1852), a quien se le ha atribuido el mérito de ser la primera programadora informática.