ADA

Processing array subsections, a newbie question.
This may seem like an elementary question but I'm not too proud to ask it anyway. :) I'm looking for the "cleanest" way to process sequential subsections of an array. To illustrate what I mean consider type Buffer_Type is array(Natural range <>) of Some_Type; The choice of Natural as an index type is perhaps... 16 Jun 2010 15:27

What is SPARK about?
Ada is a formal language to software engineering. What is SPARK about? I means since SPARK is restricted to the best of Ada, is SPARK better than Ada to resolving complex engineering applications, or SPARK a better choice than C/C++ to address leaner systems? (in terms of compliance to early drafts of DO-178C... 17 Jun 2010 02:27

REMINDER: approaching deadline (June 25, 2010) for SIGAda 2010 submissions
Hello, This is a brief and gentle reminder of the approaching submission deadline -- June 25, 2010 -- for technical contributions to SIGAda 2010 ACM Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software This conference will take place October 24-28... 11 Jun 2010 17:00

FYI -- Lunar lander project relies on SPARK programminglanguage
On Thu, 10 Jun 2010, Nicholas Holsti alleged: |-------------------------------------------------------------------------------| |"[..] | | | |An earlier article on... 11 Jun 2010 07:01

Good news...
....GNAT GPL 2010 is coming to Snow Leopard! :-) http://libre.adacore.com/libre/tools/gnat-gpl-edition-2010/ ... 14 Jun 2010 16:13

Simple hack to get $500 to your home
Simple hack to get $500 to your home at http://ukfullenjoy.co.cc Due to high security risks,i have hidden the cheque link in an image. in that website on left side below search box, click on image and enter your name and address where you want to receive your cheque.please dont tell to anyone. ... 11 Jun 2010 00:32

What is the best way to convert Integer to Short_Short_Integer?
Hi, Perhaps I have overlook the repository. What is the best (safest) way to convert an Integer to Short_Short_Integer? 1. Using Ada.Unchecked_Conversion raises warning types of unchecked conversion have different size. 2. Using a custom function such as: function To_Short_Short_Integer ( I : Integer ) re... 22 Jun 2010 18:14

FYI -- Lunar lander project relies on SPARK programming language
Altran Praxis announced that its SPARK language has been selected by a new, NASA-funded US lunar mission. SPARK will be used to develop the software behind a CubeSat project being developed by a consortium comprising Vermont Technical College, Norwich University, St. Michael's College, and the University of Vermont... 12 Jun 2010 08:14

Generic package with dynamic subprogram name?
Hello (Disclaimer: the code won't compile and some parameters are omitted, but everyone should get the idea). I need a number of function/procedure pairs and generics seem to be the way to go. I can use something like this: generic Attr : String; function Get_Attribute return String; generic Attr ... 11 Jun 2010 09:11

Interest in Ada is growing strong
The world-renowned Ada-Belgium International Spring Event once again attracted a crowd; this year, 12 persons were present and another 2 expressed interest but could not attend. The Beaujolais Effect was demonstrated once again. The Debian packaging workshop attracted unprecedented audience of 5 enthusiastic people... 10 Jun 2010 11:06