Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values
Paper i proceeding, 2004
Författare
Nils Anders Danielsson
Chalmers, Institutionen för datavetenskap, Funktionell programmering
Patrik Jansson
Chalmers, Institutionen för datavetenskap, Funktionell programmering
Chalmers, Institutionen för datavetenskap, Programmeringslogik
Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125
85-109
3-540-22380-0 (ISBN)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-540-27764-4_6
ISBN
3-540-22380-0