Dans le cadre d’un projet de portage nous avons reconstruit depuis ses sources FSF le compilateur GNAT Ada.
C’est un projet minimal pour le moment qui évoluera avec le marché réel.
Pour le moment seul le compilateur a été porté, et pas les outils que Adacore avait créés autour.
Le compilateur est téléchargeable tel quel gratuitement sur le site www.vmsadaall.org
Pour toute amélioration ou support, pia-sofer propose des contrats de supports, à demander sur le même site.
A partir de quand un programme est-il considéré comme tel ?
A partir de sa deuxième exécution.
Un programme qui ne pourrait rendre à partir des mêmes prémisses et dans un même contexte un même résultat ne serait pas un programme.
L’itération est une condition du formalisme.