Inductive program synthesis

Domain-Specific Language (DSL)

Programming language designed for a specific application domain, offering higher abstraction and targeted expressiveness. DSLs simplify program synthesis by reducing syntactic and semantic complexity.

← Geri