English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Programming with correctness guarantees
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-06 (09:29)
From: Hendrik Tews <H.Tews@c...>
Subject: Re: [Caml-list] Design-by-contract and Type inference?
David MENTRE <dmentre@linux-france.org> writes:

   Does anybody know if there is research on design-by-contract (as used in
   Eiffel or Spark) and type inference (as used in OCaml)? For example,
   relationships between both mechanisms, how the compiler could infer
   contracts for a sub-class of a class, how contracts can be maintained
   with minimal work from the programmer (a very useful property of ML type
   inference), how contract can be statically checked using type inference
   information, etc.

JML for Java is similar to what Eiffel provides. There are a lot
of tools for JML, for instance ESC/Java for automatics static