Avec STéPHANE LEIBOVITSCH (DEA [Lei96]) Les relations entre la sémantique dénotationnelle et les GA ont été peu étudiées: un seul article de H. GANZIGER [Gan80] traite vraiment de ce sujet, en montrant comment traduire une spécification de langage en sémantique dénotationnelle en un interprète écrit en GA. Malheureusement, les GA produites dépassent le cadre traditionnel des GA, puisqu'elles nécessitent une évaluation paresseuse et circulaire. Or, les GA dynamiques permettent de décrire ce type d'extension. Nous avons donc étudié si elles pouvaient constituer une réponse aux diverses questions laissées ouvertes par H. GANZINGER.
S. LEIBOVITSCH a su répondre positivement à cette question
[Lei96]. Il a repris et adapté le schéma de traduction de
GANZINGER et montré que les GA qu'il produit sont des GA dynamiques acceptables
par FNC-2 . Il a en outre réalisé (au moins en partie) un prototype de traducteur
automatique mettant en uvre ce schéma. La seule construction qui pose
encore problème est l'utilisation de continuations pour traiter les transferts
de flot de contrôle non structurés (l'instruction goto).