Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani. Compositional type-checking for delta-oriented programming. In Paulo Borba, Shigeru Chiba, editors, Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011. pages 43-56, ACM, 2011. [doi]
Abstract is missing.