On Wed, Feb 24, 2010 at 11:53 AM, Malte Schwerhoff <
mun123456...@googlemail.com> wrote:
> I am currently working on a research project in the context of my
> Master's at the ETH Zürich. The project's (long-term) goal is to develop
> a contract language (pre-, postconditions, invariants, the usual
Hi everybody,
I am currently working on a research project in the context of my
Master's at the ETH Zürich. The project's (long-term) goal is to develop
a contract language (pre-, postconditions, invariants, the usual stuff)
to be able to verify certain aspects of Scala traits.
For starters, I'd
