Eliminating dead code on recursive data

This paper describes a powerful method for dead-code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using liveness patterns based on general regular tree grammars extended with the notion of live and dead, and we formulate the anal...

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 47; no. 2; pp. 221 - 242
Main Authors:	Liu, Yanhong A., Stoller, Scott D.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.05.2003
Subjects:	Constraints Dead-code elimination Program analysis Recursive data structures Regular-tree grammars Slicing Recursive data structures Slicing Regular-tree grammars Constraints Program analysis Dead-code elimination
ISSN:	0167-6423, 1872-7964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!