Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnaty. Towards a categorical framework to ensure correct software evolutions. In Serge Abiteboul, Klemens Böhm, Christoph Koch, Kian-Lee Tan, editors, Workshops Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany. pages 139-144, IEEE, 2011. [doi]
Abstract is missing.