Memory Policy Analysis for Semantics Specifications in Maude-Reference-Cited by-同舟云学术

Memory Policy Analysis for Semantics Specifications in Maude

Published:2015 Issue: Volume: Page:293-310
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Riesco Adrián,Asavoae Irina Mariuca,Asavoae Mihail

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-27436-2_18

Reference29 articles.

1. Albert, E., Genaim, S., Gómez-Zamalloa, M.: Live heap space analysis for languages with garbage collection. In: Proceedings of the International Symposium on Memory Management, ISMM 2009, pp. 129–138. ACM (2009)

2. Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80, 385–415 (2014)

3. Lecture Notes in Computer Science;IM Asavoae,2014

4. Baufreton, P., Heckmann, R.: Reliable and precise WCET and stack size determination for a real-life embedded application. In: ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Revue des Nouvelles Technologies de l’Information, pp. 41–48. (2007)

5. Bethke, I., Klop, J.W., de Vrijer, R.C.: Descendants and origins in term rewriting. Inf. Comput. 159(1–2), 59–124 (2000)

Cited by 3 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. Slicing from Formal Semantics: Chisel;Fundamental Approaches to Software Engineering;2017