Author:
Hamilton Geoffrey William,Jones Neil D.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial bounding for recursive function synthesis;Formal Methods in System Design;2023-05-16
2. The Next 700 Program Transformers;Logic-Based Program Synthesis and Transformation;2022
3. Counterexample-Guided Partial Bounding for Recursive Function Synthesis;Computer Aided Verification;2021
4. Distilling Programs to Prove Termination;Electronic Proceedings in Theoretical Computer Science;2020-08-07
5. Generating Loop Invariants for Program Verification by Transformation;Electronic Proceedings in Theoretical Computer Science;2017-08-23