Re: A Newbie to the group.

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 15 Jun 2010 20:14:25 +0200, adacrypt <austin.obyrne@hotmail.com> a  
écrit:
> Hi,
>
> I am a bit of a loss to interpret your meaning - Do you mean I should
> promote this as something of academic interest to the refernces you
> give me or is there some mistake on my part - I would appreciate it if
> you enlighten me a bit - adacrypt
Bycause this is the first time I see an Ada job in this area, and it looks  
promising.

A little note: it seems there is a CRC error in the Ada source archive. I  
could not unpack it.
On the page http://www.adacrypt.com/computerised_pad.html
the link named “DOWNLOAD Joint Thin Tile Cryptography - Batch & Realtime  
Source Code (22Mb)”

-- 
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.