Author:
Batory Don,Singhal Vivek,Sirkin Marty,Thomas Jeff
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Product Optimization in Stepwise Design;Logic, Computation and Rigorous Methods;2021
2. Flight manoeuvring and safe flight visualization with the aid of wide-ranging scrutiny and automation software;MATEC Web of Conferences;2019
3. Interactive data representation migration: exploiting program dependence to aid program transformation;Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2017-01-02
4. Fiat;ACM SIGPLAN Notices;2015-05-11
5. Fiat;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14