Managing the granularity of constraint-based analyses by rule transformation

Byeong-Mo Chang. Managing the granularity of constraint-based analyses by rule transformation. Inf. Process. Lett., 83(2):79-88, 2002. [doi]

Abstract

Abstract is missing.