Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.

Nils Anders Danielsson Patrik Jansson Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. 85-109 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=85 2004 conf/mpc/2004 MPC db/conf/mpc/mpc2004.html#DanielssonJ04