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 - First-order logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-01-24 04:02:53		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 Source URL: web.cecs.pdx.edu Download Document from Source Website File Size: 300,85 KB Share Document on Facebook