Static Slicing of Rewrite Systems
From MaRDI portal
Publication:2873792
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
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Cites Work