The Higher-Order Aggregate Update Problem (2009)

by C Dimoulas, M Wand
Venue:In VMCAI ’09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation