Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
Author(s)
Das, Ria
Tenenbaum, Joshua B.
Solar-Lezama, Armando
Tavares, Zenna
Date Issued
January 9, 2023
Journal
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
MIT Department
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 Science
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3571249
