Presentations on-line - Ada&SPARK for Education&Research ----------------------------------------------------------------------- All presentations available on-line T e c h n o l o g y U p d a t e : A d a a n d S P A R K f o r e d u c a t i o n a n d r e s e a r c h State-of-th... 6 Mar 2010 08:32
Ada in Debian: Xavier Grave is a new Debian Maintainer (reposted from debian-ada(a)lists.debian.org to comp.lang.ada) I make this announcement with great pride. After a year or so of mentoring, my young and talented Padawan, Xavier Grave, has been accepted as a Debian Maintainer[1,2,3]. Xavier is the maintainer of three new packages in Debian: liblog4ada -- An Ada l... 4 Mar 2010 07:49
Explicit interfaces of scalar types Ada Gem #80, posted on the AdaCore's own Webnews Bulletin Board (:-), is about how to call overloaded functions like Shift_Left in a language that disallows overloading: SPARK. The solution is to declare SPARK functions to rename the overloaded Ada functions. Is there a more general solution involving a small ch... 1 Mar 2010 10:14
Ada in Debian: new dedicated mailing list, debian-ada@lists.debian.org I have requested and been granted the creation of a new mailing list[1] with web archives[2]. I started out in 2003 as (almost) the sole maintainer of Ada in Debian but, in the past couple of years, several people have joined in the effort. It has become necessary to coordinate work of all these people. Severa... 3 Mar 2010 07:19
590910 Up to date Net and Tech news, knowledge, empowerment 59 I fell in love with the net and all the compuiter teahcnology in the very early years and have loved it ever since, I have an IT Degree and Communications degree and will be working on my doctorate for the next five years, in bwetween I design websites, databases, Multimedia Produxction or anything that wil make me a p... 26 Feb 2010 08:30
Initialization of Arrays in Ada Hi Ada Users, I have a question concerning the initialization of an array in Ada. For instance I have sth. like this: arr : Array (Integer Range<>) of Integer:=(1=>1, 2=>2); I just want to leave out the 1=> 2=> ... Is there any way like declating undefinite range arrays that ada does the counting work: ... 24 Feb 2010 19:57
Ada and Doxygen Hello Ada designers, Do someones or some teams miss Doxygen support for Ada ? Is there a market or potential fundings for this functionalities ? -- No-no, this isn't an oops ...or I hope (TM) - Don't blame me... I'm just not lucky ... 6 Mar 2010 09:37
Conversion from Ada95 to Ada05 "Randy Brukardt" <randy(a)rrsoftware.com> writes: <stefan-lucks(a)see-the.signature> wrote in message news:Pine.LNX.4.64.1002231026050.9207(a)medsec1.medien.uni-weimar.de... ... I am curios: Which of your old favorites didn't work anymore? Which Ada95 patterns occur in practice, which are incompatible to ... 23 Feb 2010 17:00
Ada on Wikipedia Hello, The 95 and 2005 versions are missing there: http://en.wikipedia.org/wiki/Timeline_of_programming_languages Someone familiar with Wikipedia, and the exact dates, teams, etc. associated to 95 and 2008. Cheers _________________________________________________________ Gautier's Ada programming -- http://sf.ne... 23 Feb 2010 04:38
Conversion from Ada95 to Ada05 (Was: Does ada have a sscanf equivalent?) On Mon, 22 Feb 2010, jpwoodruff wrote: I'm a retired software engineer who has decided not to follow the new standard. I decided that I don't need a new programming paradigm (except maybe for prolog). And some of my old favorites didn't work with the '05 compiler I looked at. I am curios: Which of yo... 23 Feb 2010 15:50 |