Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
Author(s)
Das, Ria; Tenenbaum, Joshua B.; Solar-Lezama, Armando; Tavares, Zenna
Download3571249.pdf (3.677Mb)
Publisher with Creative Commons License
Publisher with Creative Commons License
Creative Commons Attribution
Terms of use
Metadata
Show full item recordDate issued
2023-01-09Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Brain and Cognitive Sciences; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer ScienceJournal
Proceedings of the ACM on Programming Languages
Publisher
ACM
Citation
Das, Ria, Tenenbaum, Joshua B., Solar-Lezama, Armando and Tavares, Zenna. 2023. "Combining Functional and Automata Synthesis to Discover Causal Reactive Programs." Proceedings of the ACM on Programming Languages.
Version: Final published version
ISSN
2475-1421
Collections
The following license files are associated with this item: