Slicing from formal semantics: Chisel—a tool for generic program slicing-Reference-Cited by-同舟云学术

Slicing from formal semantics: Chisel—a tool for generic program slicing

Published:2018-07-17 Issue:6 Volume:20 Page:739-769
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Asăvoae Irina Măriuca,Asăvoae Mihail,Riesco Adrián

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/article/10.1007/s10009-018-0500-y/fulltext.html

Reference43 articles.

1. LNCS;M Alpuente,2015

2. Arinc. ARINC Specification 653-2: avionics application software standard interface: part 1—required services. Technical report, Avionics Electronic Engineering Committee (ARINC), March (2006)

3. Asavoae, I.M., Asavoae, M., Riesco, A.: Towards a formal semantics-based technique for interprocedural slicing. In: iFM 2014. LNCS, vol. 8739, pp. 291–306. Springer (2014)

4. Asavoae, I.M., Asavoae, M., Riesco, A.: Context-updates analysis and refinement in Chisel. CoRR abs/1709.06897 (2017)

5. Asavoae, M.: K semantics for assembly languages: a case study. Electr. Notes Theor. Comput. Sci. 304, 111–125 (2014)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Completeness Thresholds for Memory Safety of Array Traversing Programs;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06

2. Software quality tools and techniques presented in FASE’17;International Journal on Software Tools for Technology Transfer;2018-09-03