C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis of Implementations for Divide-and-Conquer Specifications.
Maksym Bortin
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