C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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