PV2 ⊧ Concordgiven a domain-specific language and specification, it synthesises a program that satisfies the specification

Application domain/field

Program synthesis

Type of tool

Program synthesis

Expected input

• Domain-specific language
• Specification

Expected output

A program that satisfies the specification

Internals

Synthesis algorithm based on reinforcement learning tightly coupled with statistical and deductive reasoning. It focuses on syntax-guided synthesis: given a domain-specific language (DSL) and a specification, they try to find a program that satisfies the specification. Uses Z3.