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