Compilador TenDRA

El compilador TenDRA es un compilador de C/C++ para sistemas operativos compatibles con POSIX , disponible bajo los términos de la licencia BSD .

Fue desarrollado originalmente por la Agencia de Evaluación e Investigación de la Defensa (DERA) en el Reino Unido . A principios de 2002, Jeroen Ruigrok van der Werven retomó activamente el desarrollo de TenDRA, ofreciéndolo como un proyecto de código abierto con licencia BSD a través del sitio web tendra.org. En el tercer trimestre de 2002, el proyecto, inicialmente individual, se amplió a un pequeño equipo.

La tecnología TDF detrás de TenDRA tiene una historia académica que se remonta a trabajos sobre validación de código algebraico en la década de 1970. ^{[ 1 ]}

En agosto de 2003, TenDRA se dividió en dos proyectos: TenDRA.org y Ten15.org. Ambos proyectos parecieron desaparecer de la web entre 2006 y 2007, pero en realidad siguen activos. ^{[ 2 ] [ 3 ]}

Los objetivos de TenDRA.org son:

• para producir continuamente código correcto,
• para garantizar la corrección del código a través de diversos medios, y
• mejorar continuamente el rendimiento del compilador y del código resultante, a menos que ello ponga en peligro los puntos mencionados anteriormente.

Los objetivos de Ten15.org añadieron:

• ser un competidor amistoso de GCC para obtener un compilador de primera categoría.

Las características de ambos compiladores incluyen una buena notificación de errores con respecto al cumplimiento de estándares y un tamaño de código menor que el de los mismos programas compilados con gcc . El soporte para C++ nunca se desarrolló tanto como el de C, y no hubo ninguna versión compatible con STL. TenDRA utiliza el formato de distribución neutral de arquitectura (ANDF), una especificación creada por The Open Group , como su lenguaje intermedio .

En un momento dado, la mayor parte del núcleo Alpha OSF/1 se podía compilar con TenDRA C y, posteriormente, también se hizo un esfuerzo similar para adaptar el núcleo de FreeBSD .

TenDRA.org dispone de un conjunto completo de documentación disponible en línea en http://www.tendra.org/docs

Las páginas del manual con referencias a programas y formatos de archivo están disponibles en http://www.tendra.org/man

• Formato de distribución de TenDRA

• Acerca de - tendra.org en Wayback Machine (archivado el 22 de diciembre de 2007)
• El proyecto TenDRA
• Página en GitHub
• Copia de Bitbucket del repositorio de código fuente de TenDRA. Archivado el 25/03/2012 en Wayback Machine.
• ten15.org en Wayback Machine (archivado el 15 de mayo de 2011)
• TenDRA en la colección de puertos de FreeBSD
• TenDRA en Debian
• Réplica de la página web original de TenDRA de DERA