Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of
Add to Reading List
Document Date: 2014-01-24 04:02:53
Open Document
File Size: 300,85 KB
Share Result on Facebook
Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of