Paul A. Bailes, Colin J. M. Kemp. Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification. In 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings. pages 520-526, IEEE Computer Society, 2003. [doi]
Abstract is missing.