Specification-guided component-based synthesis from effectful libraries.

Ashish Mishra Suresh Jagannathan

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

high level
digital libraries
multimedia
website
formal specification
formal verification
computer vision
user defined
texture synthesis