3 ms·
Check out his research group. They apparently have a collection of free code for Ada: http://www.iste.uni-stuttgart.de/en/ps/adabasis.html http://www.iste.uni-
by nickpsecurity 10y ago
Check out his research group. They apparently have a collection of free code for Ada:
http://www.iste.uni-stuttgart.de/en/ps/adabasis.html http://www.iste.uni-stuttgart.de/en/ps/adabasis.html
EDIT to add: Not just on a committee but helped write the Ada 2012 reference with Tucker Taft and some others. Too bad they're fans of paywalled and non-FOSS work. A lot of this will disappear into ancient history because of it. Least we got a great RT book. :)
http://www.iste.uni-stuttgart.de/en/ps/publications.html http://www.iste.uni-stuttgart.de/en/ps/publications.html
- Tomte 10y agoYes, and doing the diploma thesis (or the undergraduate thesis) in his group was one of the rare opportunities to get your hands on AdaCore's compiler, not the neglected free gcc version.
- danjayh 10y agoHave it at work :)
- nickpsecurity 10y agoWhat did you do in yours?
- Tomte 10y agoI finally decided against it and went to the department of linguistics for the thesis. Nothing special, just an average thesis.
- nickpsecurity 10y agoOh OK.