Author:
Urso Pascal,Kounalis Emmanuel
Subject
General Computer Science,Theoretical Computer Science
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Determinization of inverted grammar programs via context-free expressions;Journal of Logical and Algebraic Methods in Programming;2021-08
2. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
3. Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection;IEICE Transactions on Information and Systems;2019-02-01
4. Rewriting induction for constrained inequalities;Science of Computer Programming;2018-04
5. Verifying Procedural Programs via Constrained Rewriting Induction;ACM Transactions on Computational Logic;2017-06-23