Component-based loop-free synthesis using constraint-based approaches.
Work based on:
S. Gulwani, S. Jha, A. Tiwari, and R. Venkatesan, “Synthesis of loopfree
programs,” SIGPLAN Not., vol. 46, pp. 62–73, June 2011
M.Shachnai - Rutgers University
-
Notifications
You must be signed in to change notification settings - Fork 0
mshachnai/Loopless-Synthesis
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published