Old Web
English
Sign In
Acemap
>
authorDetail
>
Benjamin Mariano
Benjamin Mariano
University of Maryland, College Park
Computer science
Program synthesis
Programming language
Algebraic number
1
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Program synthesis with algebraic library specifications
2019
Benjamin Mariano
Josh Reese
Siyuan Xu
ThanhVu Nguyen
Xiaokang Qiu
Jeffrey S. Foster
Armando Solar-Lezama
Show All
Source
Cite
Save
Citations (1)
1