Eliminating dead code on recursive data.
From MaRDI portal
Publication:1398677
DOI10.1016/S0167-6423(02)00134-XzbMath1047.68070MaRDI QIDQ1398677
Yanhong A. Liu, Scott D. Stoller
Publication date: 7 August 2003
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(02)00134-x
Constraints; Program analysis; Slicing; Dead-code elimination; Recursive data structures; Regular-tree grammars
68P30: Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science)
68N01: General topics in the theory of software
Related Items
Dynamic slicing of lazy functional programs based on redex trails, Static Slicing of Rewrite Systems