Sockets package in SPARK (Was: Lost in translation (with SPARKuser rules))
in [ADA]
|
Prev: Ada compilers written in ... (was: Re: Ada noob here! Is Ada widelyused?)
Next: SPARK again : for-loop vs single loop - a strange case
From: Pascal Obry on 27 May 2010 14:41 Jacob, > Is that binding available for download? (Or is it an internal product?) Internal sorry. -- --|------------------------------------------------------ --| Pascal Obry Team-Ada Member --| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE --|------------------------------------------------------ --| http://www.obry.net - http://v2p.fr.eu.org --| "The best way to travel is by means of imagination" --| --| gpg --keyserver keys.gnupg.net --recv-key F949BD3B
From: Yannick Duchêne (Hibou57) on 27 May 2010 15:20
Le Thu, 27 May 2010 20:41:22 +0200, Pascal Obry <pascal(a)obry.net> a écrit: >> Is that binding available for download? (Or is it an internal product?) > > Internal sorry. > Jacob, if you have some needs in this area, feel free to ask me (could negotiate via e-mail if you wish). -- There is even better than a pragma Assert: a SPARK --# check. --# check C and WhoKnowWhat and YouKnowWho; --# assert Ada; -- i.e. forget about previous premises which leads to conclusion -- and start with new conclusion as premise. |