precondition   34

PythonDecoratorLibrary - Python Wiki
Has simpler support for pre-/post-conditions and design by contract.
dbc  precondition  postcondition  preconditions  postconditions  design  contract 
october 2017 by kc5tja
Weakest Precondition Calculus -- slides
Relatively lucid treatment of wp / predicate-transformer semantics (intuitions, visuals, examples, relationship to hoare logic etc.)
semantics  hoare  dijkstra  precondition  logic 
july 2017 by graydon
Michael Tsai - Blog - precondition vs. assert in Swift
It’s actually important to distinguish these two cases because the second one demands public documentation while the first does not.
assert  precondition  swift 
april 2016 by pitiphong_p
Interesting discussions on Swift Evolution — Erica Sadun
One proposal suggests Swift introduces a newtype keyword that adds an extensible derived type that is otherwise identical to the original. For example, creates a Currency type that has all the behaviors of NSDecimal.
assert  discussion  precondition  swift 
april 2016 by pitiphong_p
Partial functions in Swift, Part 1: Avoidance
For my first proper article since returning to Cocoa with Love, I want to talk about “partial functions” (functions with preconditions). It’s an unusual topic for an app programming blog since, outside of API design or Design by Contract, preconditions are not widely discussed.
api  argument  design  function  parameter  partial-function  precondition 
february 2016 by pitiphong_p
Partial functions in Swift, Part 2: Catching precondition failures
In the previous post, I discussed “partial functions” and advised against them. As stated in that article though, there are situations where partial functions…
error_handling  swift  testing  assertions  mach  precondition  swiftlang 
february 2016 by evilkarlothian
Partial functions in Swift, Part 2: Catching precondition failures
in which we use Mach exception handlers to rewrite precondition statements into catchable failures in order to test them properly.
mach  testing  swiftlang  precondition  assertions  error_handling  xctest 
february 2016 by cdzombak
Partial functions in Swift, Part 1: Avoidance
For my first proper article since returning to Cocoa with Love, I want to talk about “partial functions” (functions with preconditions). It’s an unusual topic…
cocoa  swift  partial  precondition  swiftlang  api  apple_swift  archive 
february 2016 by evilkarlothian
Swift asserts - the missing manual
assertion - a confident and forceful statement of fact or belief. Something declared or stated positively, often with no support or attempt at proof. The…
precondition  programming  swift  swiftlang  assert  assertion  assertions  cocoa  coding 
august 2015 by evilkarlothian

related tags

@howto  accomplices  annotations  apache  api  apple_swift  archive  argument  assert  assertion  assertions  blog  by  c#  checked  clojure  cocoa  coding  contract  contracts  cool  dafny  dbc  debugging  delicious-import  delicious  design  dijkstra  discussion  documentation  error  error_handling  exception  extensibility  failed  failure  fatal  followup  function  google  guide  hoare  howto  international-law  israel  java  jazz  languages  liquibase  logic  loop_invariant  mach  methodology  michaelfeathers  microsoft  middle-east  mod_security  negotiation  oo  opensource  palestine  parameter  partial-function  partial  peace-talk  performance  post  postcondition  postconditions  practice  preconditions  preposterous  process  programming  programming_language_design  quality  rtc  sdk  security  semantics  settlements  software  sourcecontrol  spam  specification  stream  swift  swiftlang  tableexists  technique  testing  textdrive  textpattern  throw  trigger  type  unchecked  usa  validation  verification  wiki  xctest 

Copy this bookmark:



description:


tags: