Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: -- (:)
From: Andrej Bauer <Andrej.Bauer@f...>
Subject: Re: Programming with correctness guarantees
Dear Oleg,

thank you for the references. This is very useful and I will take the 
references into account in the project with Chris Stone, see Our tool is slanted towards specification 
construction (not verification) from mathematical defintions. We plan to 
use it for real number computation and computable mathematical analysis.

In fact, I think Chris mentioned SPARK the other day and how we should 
have a look at it.

Best regards,