Contract Programming in D

August 27th, 2007