A Hoare logic for the state monad: Proof pearl
Paper i proceeding, 2009
Författare
Wouter Swierstra
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 5674 LNCS s. 440-451978-364203358-2 (ISBN)
Kategorisering
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
Identifikatorer
DOI
10.1007/978-3-642-03359-9_30
ISBN
978-364203358-2