Automatic time-bound analysis for a higher-order language (2002)

by Gustavo Gomez , Yanhong A. Liu
Venue:In Proceedings of the ACM SIGPLAN 2002 Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Citations:24 - 5 self