sentence1: Infer propose également un langage spécifique à un domaine pour le bouclage des arborescences de syntaxe abstraite, basé sur les idées tirées de la vérification de modèle pour la logique de l’arbre de calcul.
sentence2: Infer propose également un langage de domaine - abstrait - pour lier une arborescence de syntaxe spécifique, basé sur les idées tirées de la vérification de modèle pour la logique de l’arbre de calcul.