A Generic Program Slicing Technique Based on Language Definitions

DOI10.1007/978-3-642-37635-1_15zbMath1394.68084MaRDI QIDQ2848888

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

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_15

zbMATH Keywords

semantics; debugging; slicing; Maude

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Memory Policy Analysis for Semantics Specifications in Maude, Exploring conditional rewriting logic computations

Uses Software

• Maude