comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2010-06-11 09:57:22 to 2010-06-20 21:13:42 UTC [more...]

Advice on selling Ada to a C shop
 2010-06-20 21:13 UTC  (11+ messages)

Ada, Concurrency and Cryptography
 2010-06-20 13:22 UTC 

Question about SPARK flow error
 2010-06-20  8:42 UTC  (9+ messages)

Strategies with SPARK which does not support exceptions
 2010-06-18 21:51 UTC  (10+ messages)

Gnat GPL 2010 available soon
 2010-06-18 19:48 UTC  (4+ messages)

What Ada can do for Cryptography
 2010-06-18  9:57 UTC 

Simple hack to get $1500 to your home
 2010-06-18  5:27 UTC 

Subtypes boundaries
 2010-06-17 19:53 UTC  (13+ messages)

small example, using complex variables in Ada
 2010-06-17 16:36 UTC  (25+ messages)

More Ada in Cryptography
 2010-06-17  8:47 UTC 

Ada in Cryptography
 2010-06-17  6:58 UTC 

What is SPARK about?
 2010-06-17  5:38 UTC  (12+ messages)

Press Release - Ada-Europe launches Programming Contest
 2010-06-16 22:56 UTC 

Processing array subsections, a newbie question
 2010-06-16 19:22 UTC  (28+ messages)

Test; Please Ignore
 2010-06-16 18:16 UTC 

GNAT GPL 2009 and Vista
 2010-06-16 12:17 UTC  (2+ messages)

Slightly OT: Debian Community Poll
 2010-06-16  7:36 UTC  (19+ messages)

Ada in Cryptography
 2010-06-16  7:11 UTC 

What is the best way to convert Integer to Short_Short_Integer?
 2010-06-16  1:27 UTC  (16+ messages)

A Newbie to the group
 2010-06-15 21:41 UTC  (14+ messages)

GCC conflict on Ubuntu for mixed Ada/C++ project
 2010-06-15 17:05 UTC  (36+ messages)
                ` Improving the first contact with Ada (was: GCC conflict on Ubuntu for mixed Ada/C++ project)
                    ` Improving the first contact with Ada

Generic operation and prefixed notation
 2010-06-15  1:14 UTC  (4+ messages)

Ada related perl scripts update
 2010-06-14 20:57 UTC  (3+ messages)

Good news
 2010-06-14 20:13 UTC  (4+ messages)

2010 FIFA World Cup Barcelona jersey
 2010-06-14  1:56 UTC 

FYI -- Lunar lander project relies on SPARK programming language
 2010-06-12 12:12 UTC  (8+ messages)

what are some of the uses for ada?
 2010-06-12  9:40 UTC  (3+ messages)

REMINDER: approaching deadline (June 25, 2010) for SIGAda 2010 submissions
 2010-06-11 19:57 UTC 

Ada requires too much typing!
 2010-06-11 18:38 UTC  (30+ messages)

Generic package with dynamic subprogram name?
 2010-06-11 12:19 UTC  (5+ messages)


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox