Synthèse de programmes inductive
Domain-Specific Language (DSL)
Langage de programmation conçu pour un domaine d'application spécifique, offrant une abstraction plus élevée et une expressivité ciblée. Les DSL simplifient la synthèse de programmes en réduisant la complexité syntaxique et sémantique.
← Retour