Generating Specialized Rules and Programs for Demand-Driven Analysis

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu. Generating Specialized Rules and Programs for Demand-Driven Analysis. In José Meseguer, Grigore Rosu, editors, Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Volume 5140 of Lecture Notes in Computer Science, pages 346-361, Springer, 2008. [doi]

Authors

K. Tuncay Tekle

This author has not been identified. Look up 'K. Tuncay Tekle' in Google

Katia Hristova

This author has not been identified. Look up 'Katia Hristova' in Google

Yanhong A. Liu

This author has not been identified. Look up 'Yanhong A. Liu' in Google