ADA

Software Quality in Science
Here is an interesting article on software quality in science: http://www.guardian.co.uk/technology/2010/feb/05/science-climate-emails-code-release From the article: "There is enough evidence for us to regard a lot of scientific software with worry. For example Professor Les Hatton, an international expert i... 15 Feb 2010 14:18

GCC 4.5 mingw-w64
Has anybody managed to get a working compiler build on cygwin and targeting mingw-w64 (ie --target=x86_64-w64-mingw32) I have managed to build one but gnatmake fails to link a very simple hello world app. The linker complains about unresolved references (namely __gnat_eh_personality_sj and __gnat_begin_handler... 9 Feb 2010 09:26

Inheritance with Ada types
I'm new to the OOP features of Ada and I'm trying to wrap my head tagged types. I've been reading the somewhat abstruse "Ada for Software Engineers" and while I understand the examples in the text, I would like to experiment on my own to further my understand. I'm trying to figure out how I can correctly--pardon ... 9 Feb 2010 21:54

GNAT.Expect on Windows, without terminal window
Hello, A last problem (MS-Windows specific)... The catching of an external process' output with GNAT.Expect is working perfectly now... except if the main procedure is built without an own terminal window (GNAT option: -largs -mwindows). Then, the process is opening (or "someone" does it) a new terminal window and... 8 Feb 2010 16:47

Ensuring resource cleanup
It looks as if I might need to do some Ada maintenance programming soon. I can use the GNAT from GCC 4.3. Are there any new ways to ensure resource cleanup? I tried to use Ada.Finalization.Limited_Controlled in the past, but there were several issues with it: there was some run-time overhead (because of the t... 8 Feb 2010 16:47

Package's private parts and protected types
Hi all out there, Whenever a protected type is declared, all of its specification has to be defined at once and not private stuff can be delay (like "type ... is private" would allow). If this protected type is to hold something which is not to be public, the only way to do as far I'm able to do, is to wrap it i... 13 Feb 2010 03:52

Catching Standard_Error with GNAT.Expect
In article <a996dc2c-ba18-41cd-9812-266f4a5742cc(a)q27g2000yqn.googlegroups.com>, Gautier write-only <gautier_niouzes(a)hotmail.com> wrote: I get a nice asynchronous text output piping from an external process thanks to GNAT.Expect (test code below). Now a last issue: when the process is speaking through S... 7 Feb 2010 17:34

Start a Windows process and get its text output
Le 06/02/2010 18:39, Gautier write-only a �crit : Hello, Does someone have some nice open source to do that ? What about GNAT.Expect? Pascal. -- --|------------------------------------------------------ --| Pascal Obry Team-Ada Member --| 45, rue Gabriel Peri - 78114 M... 7 Feb 2010 17:34

Tue Feb 23 Seminar - Ada and SPARK for education and research
The Computer Science Department of the K.U.Leuven and the Ada-Belgium organization are pleased to announce the seminar 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 ... 6 Feb 2010 16:18

Private or public task ?
Hello Ada novel writers, I'm starting to experiment with Ada tasking, which as I suggest, I've never used so far (I will need at least it for a Windows API binding and for a later VST binding... a VST is a kind of software synthesizer for electronic music). Let me explain the context before I introduce my thou... 13 Feb 2010 07:06