Author:
Le Ton Chanh,Gherghina Cristian,Hobor Aquinas,Chin Wei-Ngan
Publisher
Springer International Publishing
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis;Lecture Notes in Computer Science;2021
2. DynamiTe: dynamic termination and non-termination proofs;Proceedings of the ACM on Programming Languages;2020-11-13
3. Structuring the synthesis of heap-manipulating programs;Proceedings of the ACM on Programming Languages;2019-01-02
4. Bit-Precise Procedure-Modular Termination Analysis;ACM Transactions on Programming Languages and Systems;2018-03-31
5. Proving Conditional Termination for Smart Contracts;Proceedings of the 2nd ACM Workshop on Blockchains, Cryptocurrencies, and Contracts - BCC '18;2018