$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: Re: [boost] [contract] Contract Programming Library
From: Lorenzo Caminiti (lorcaminiti_at_[hidden])
Date: 2010-01-05 21:38:40
> be considerable in this case, but are you open to discussion about
> possible different approaches? I have a few (completely undeveloped
> and perhaps implausible) ideas.
Jason: Yes, I am interested in alternative approaches (I've studied
more or less all the ones I could find on the Internet). Please write
me an email with your ideas and I'll consider them against the
Contract Programming requirements.