Tag Archives: AdaCore
AdaCore and SofCheck Merge
This is pretty big news and it will mean even more bright Ada people gathered at AdaCore. Now some people may fear that, but I think AdaCore have shown themselves to be strong supporters of the Open Source community (though I dislike their release cycle), and I’m confident that merging with SofCheck will strengthen Ada: [...]
Should we put up with software that doesn’t work?
Robert Dewar from AdaCore begins his Should we put up with software that doesn’t work? article with a statement: We are used to software that dismally fails. What is surprising is that we accept this as reasonable. It is time to stand up and say we are not going to put up with this anymore. [...]
Dynamic Plug-in Loading with Ada
If you want/need to learn how to make use of dynamic plug-ins, then look no further! In the excellent article Dynamic Plug-in Loading with Ada (PDF) authors Cyrille Comar and Pat Rogers, both of AdaCore fame, dive into the world of dynamic plug-ins, object oriented programming and a crude simulation of instruments on an automobile [...]
High-integrity object-oriented programming with Ada
Written by Benjamin Brosgol from AdaCore, this article series digs deep into the bowels of Ada and its OOP features, specifically into high-integrity systems. It is a very interesting read, with lots of exact information. Clearly Benjamin is an experienced and skilled engineer. It’s a three part article, of which two parts are currently available. [...]
GNAT GPL 2011 is out!
And so is the 2011 versions of all the libre.adacore.com software, such as AWS, XML/Ada and GNATcoll. GNAT GPL 2011 is, as you probably know, the GPL edition of the AdaCore Ada compiler. The package comes complete with compiler and the excellent Ada/C/C++ IDE GNAT Programming Studio. Obviously there are a lot of changes and [...]
AdaCore @ YouTube
I’m on of those people who enjoy tech-talks on video, so when I found out that AdaCore have a channel @ YouTube, it made my day. Yes, I’m that easy to please. ) It’s a fairly busy channel, with regular updates. Some of the subjects dealt with are: What is SPARK? GPS 5 Auto Highlighting [...]
Programming with GtkAda
Creating programs with graphical user interfaces was not the primary concern when Ada was originally designed, but that doesn’t mean that it’s an impossible task today. One of the options available is GtkAda, which is a binding to Gtk+. Now, knowing that you can do graphical user interfaces in Ada is not the same as [...]
Meet Some Of The AdaCore Experts
By chance I stumbled on a page at the AdaCore website, where some of their Ada experts talk a bit about what drew them to Ada in the first place. It is of course one big advertisement for AdaCore, but it’s a very interesting read nonetheless. Meet the AdaCore experts. I for one thought it [...]
High Performance Multi-core Programming Using Ada
There are two new, and very interesting, AdaCore Gems available on the AdaCore website: Gem #93: High Performance Multi-core Programming – Part 1 Gem #98: High Performance Multi-core Programming – Part 2 In case it’s not obvious what they are about, here’s the abstract: This Gem introduces an Ada implementation of “Chameneos-Redux,” a benchmark program [...]
Overridable Class Attributes in Ada 2012