Author:
Escobar Santiago,Meseguer José
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM TOPLAS 20(4), 768–844 (1998)
2. Lecture Notes in Computer Science;S. Antoy,1997
3. Lecture Notes in Computer Science;S. Basu,2001
4. Lecture Notes in Computer Science;A. Bouajjani,2001
5. Lecture Notes in Computer Science;A. Bouajjani,2006
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Invariants by Deductive Model Checking;Lecture Notes in Computer Science;2024
2. Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18
3. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
4. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29
5. Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29