Specification-Guided Component-Based Synthesis from Effectful Libraries.

Ashish Mishra Suresh Jagannathan

Published in: CoRR (2022)

Keyphrases

high level
digital libraries
program synthesis
machine learning
image processing
decision trees
multiscale
formal specification
neural network
information retrieval
genetic algorithm
databases
image sequences
real time
expert systems
conceptual model
texture synthesis
database