A generic program slicing technique based on language definitions

DOI10.1007/978-3-642-37635-1_15MaRDI QIDQ2848888zbMATH OpenOpenAlexFDO

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

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

debuggingMaudesemanticsslicing

Mathematics Subject Classification ID

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

Recommendations

• Dynamic slicing: a generic analysis based on a natural semantics format
• Slicing programs in the presence of errors
• A novel formal approach to program slicing
• Program Slicing
• A trajectory-based strict semantics for program slicing

Cited in

(5)

• A novel formal approach to program slicing
• Exploring conditional rewriting logic computations
• Dynamic slicing: a generic analysis based on a natural semantics format
• Memory policy analysis for semantics specifications in Maude
• The expression dependence graph

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A generic program slicing technique based on language definitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848888)