Nathaniel Charlton, Ben Horsfall, Bernhard Reus. Formal reasoning about runtime code update. 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 134-138, IEEE, 2011. [doi]
Abstract is missing.