http://www.ihr.uni-stuttgart.de/forschung/ada/resources_on_ada/
is updated with GCN hot topic on top. My concern:
In
http://www.gcn.com/print/27_8/46116-1.html
this sequence of sentences
------
Praxis, a U.K. systems engineering company,
is providing the operating code ---for IFacts.
In 2002, England???s busiest airport terminal, London Heathrow Airport,
suffered a software-based breakdown of its airplane routing system.
Praxis is under a lot of pressure to ensure its code is free from defects.
------
may be misleading to the impression that Heathrow software
is written in Ada... This is not the case I found out.
My question still remains: Which programming language.
