Author:
Arusoaie Andrei,Lucanu Dorel,Rusu Vlad
Publisher
Springer International Publishing
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Supporting Algorithm Analysis with Symbolic Execution in Alk;Theoretical Aspects of Software Engineering;2022
2. A Matching Logic Foundation for Alk;Lecture Notes in Computer Science;2022
3. Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10
4. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic;Electronic Proceedings in Theoretical Computer Science;2019-09-02
5. Unification Modulo Builtins;Logic, Language, Information, and Computation;2018