Author:
Bouajjani Ahmed,Esparza Javier,Touili Tayssir
Cited by
66 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Newtonian Program Analysis of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29
2. Parikh’s Theorem Made Symbolic;Proceedings of the ACM on Programming Languages;2024-01-05
3. Comparing semantic graph representations of source code: The case of automatic feedback on programming assignments;Computer Science and Information Systems;2024
4. A Compositional Deadlock Detector for Android Java;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
5. Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06