Synthesis of Implementations for Divide-and-Conquer Specifications.

Published in: SBMF (2022)

Keyphrases

program synthesis
high level
data mining
knowledge base
specification language
formal descriptions
data sets
social networks
computer vision
expert systems
facial expressions
efficient implementation
formal specification
conceptual models
concurrent systems
delay insensitive