Haihe Shi, Dawei Du, Jinyun Xue. Generating Algorithms plus Loop Invariants by Formal Derivation. In Roger Y. Lee, editor, 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA. pages 496-501, IEEE Computer Society, 2008. [doi]
Abstract is missing.