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.
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.