Old Web
English
Sign In
Acemap
>
authorDetail
>
LewisMatt
LewisMatt
Program analysis
Computer science
Program synthesis
Programming language
1
Papers
0
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 for Program Analysis
2018
ACM Transactions on Programming Languages and Systems
DavidCristina
KesseliPascal
KroeningDaniel
LewisMatt
Show All
Source
Cite
Save
Citations (0)
1