A Generic Program Slicing Technique Based on Language Definitions

DOI10.1007/978-3-642-37635-1_15zbMath1394.68084OpenAlexW73279610MaRDI 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

semanticsdebuggingslicingMaude

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

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

Uses Software

• Maude

This page was built for publication: A Generic Program Slicing Technique Based on Language Definitions