Archive
-
Recent
- Prism
- Asynchrony, Concurrency and Parallelism
- Supervision – F# for Static Analysis
- Code-First Development (EF) w/ SQL CE 4.0
- Pixels en masse
- Tablet, The Ultimate
- Shapely Monads
- Trust, but verify
- Illustration
- Workflows
- An anti-pattern: return w/ out
- Beyond Windows
- Motivation
- Nine ways to (not) die
- Art.com
- Lazy Evaluation in C#
- Application of Implication
- Extreme Code Contracts
- PDC 2009
- Protected: The Effect Spectrum (I)
- Types – Arrows – Duals
- Adversus Nullus, Unnullable<T>
- Lambda Lecture Series
- Let there be chaos – sort of
- Information
Meta
-
Tag Archives: Precondition
Application of Implication
There is a very useful concept in linguistics and logic called entailment. One says that a implies b or a entails b meaning that if a is true, then b must also be true, or the whole expression is false. … Continue reading
Posted in Computer Science, Declarative, Paradigm, Software, Technical
Tagged .NET Framework, C#, Code Contracts, Design by Contract, Eiffel, Entailment, entails, implies, Linguistics, LinkedIN, Logic, Precondition, Programming
2 Comments
