Author:
Riesco Adrián,Asăvoae Irina Măriuca,Asăvoae Mihail
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Slicing from formal semantics: Chisel—a tool for generic program slicing;International Journal on Software Tools for Technology Transfer;2018-07-17
2. Context-Updates Analysis and Refinement in Chisel;Model Checking Software;2018
3. Memory Policy Analysis for Semantics Specifications in Maude;Logic-Based Program Synthesis and Transformation;2015
4. ORBS: language-independent program slicing;Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering;2014-11-11
5. Towards a Formal Semantics-Based Technique for Interprocedural Slicing;Lecture Notes in Computer Science;2014