4. Génération de code exécutable
Un modèle de spécification détaillé et précis, décrit à l’aide d’un langage déclaratif s’appuyant sur un ensemble bien défini de concepts, ne diffère pas fondamentalement d’un programme écrit à l’aide d’un langage de programmation graphique comme le langage G de LabView (qui est aussi un langage déclaratif). Dans ces conditions, la seule véritable différence réside dans le fait que, dans le premier cas, le choix du langage impératif utilisé est ouvert et que, dans le deuxième cas, ce choix est imposé et l’opération transparente pour l’utilisateur.
Les langages impératifs, par exemple du type flots de contrôle, sont conçus pour permettre d’appeler à bon escient des fonctions précises. Autrement dit, leur fonction est de réagir suivant...
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Génération de code exécutable