Author:
Alpuente María,Ballis Demis,Baggi Michele,Falaschi Moreno
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Safety enforcement via programmable strategies in Maude;Journal of Logical and Algebraic Methods in Programming;2023-04
2. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
3. Algorithm of web page similarity comparison based on visual block;Computer Science and Information Systems;2019
4. An Assertion Language for Slicing Constraint Logic Languages;Logic-Based Program Synthesis and Transformation;2019
5. Debugging Maude programs via runtime assertion checking and trace slicing;Journal of Logical and Algebraic Methods in Programming;2016-08