Sockets package in SPARK (Was: Lost in translation (with SPARK user rules))
in [ADA]
|
Prev: Ada requires too much typing!
Next: Ada compilers written in ... (was: Re: Ada noob here! Is Ada widelyused?)
From: Jacob Sparre Andersen on 27 May 2010 06:11 Pascal Obry wrote: > I had to create a binding to the OS sockets in SPARK, I can tell you > that it was not easy... Is that binding available for download? (Or is it an internal product?) Greetings, Jacob -- Those who can't laugh at themselves leave the job to others. |