http://www.minddriven.de/index.php/technology/dot-net/code-contracts/code-contracts-4-modelling-implications Matthias Jauernig -- .NET technology, architecture and design Thu, 02 Feb 2012 06:42:23 +0100 hourly 1 http://wordpress.org/?v=3.1 http://www.minddriven.de/index.php/technology/dot-net/code-contracts/code-contracts-4-modelling-implications/comment-page-1#comment-1438 Code Contracts #6: Modelling constraints and state | .NET ... out of the dark Sun, 10 May 2009 07:43:01 +0000 http://www.leading-edge-dev.de/?p=348#comment-1438 [...] matter if there are simple cases as here or more complex cases on depending properties (for example implications) - every boolean expression can be modelled with [...] [...] matter if there are simple cases as here or more complex cases on depending properties (for example implications) – every boolean expression can be modelled with [...]

]]> http://www.minddriven.de/index.php/technology/dot-net/code-contracts/code-contracts-4-modelling-implications/comment-page-1#comment-1200 Code Contracts #5: Method purity | .NET ... out of the dark Sat, 02 May 2009 17:16:13 +0000 http://www.leading-edge-dev.de/?p=348#comment-1200 [...] basic information about Code Contracts, the static and dynamic checker, the code rewriter and how implications can be modelled. This day’s blog post comes up with another interesting aspect: method [...] [...] basic information about Code Contracts, the static and dynamic checker, the code rewriter and how implications can be modelled. This day’s blog post comes up with another interesting aspect: method [...]

]]>