Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
Paper in proceeding, 2004
Author
Nils Anders Danielsson
Chalmers, Department of Computing Science, Functional Programming
Patrik Jansson
Chalmers, Department of Computing Science, Functional Programming
Chalmers, Department of Computing Science, Programming Logic
Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125
85-109
3-540-22380-0 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-540-27764-4_6
ISBN
3-540-22380-0