Синтез программ на основе ограничений

Abstraction-réfinissement

Stratégie itérative simplifiant initialement le problème puis raffinant progressivement les contraintes. Équilibre efficacité et précision dans la synthèse de programmes complexes.

← Назад