A Hoare Logic for Diverging Programs by Johannes Ã…man Pohjola, Magnus O. Myreen and Miki Tanaka Jan 20