Static Slicing of Rewrite Systems

DOI10.1016/j.entcs.2007.01.010zbMath1279.68051OpenAlexW2108486698MaRDI QIDQ2873792

Diego Cheda, Josep Silva, Germán Vidal

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.01.010

zbMATH Keywords

program slicingrewrite systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Dynamic slicing of lazy functional programs based on redex trails

Cites Work

• Unnamed Item
• Eliminating dead code on recursive data.
• Termination of term rewriting using dependency pairs
• Program Slicing
• The program dependence graph and its use in optimization
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity