« Interesting TOSE paper to read | Main | Quest Sues over UTOPIA »
June 02, 2005
Ada language reference
[Programming:Ada - Wikibooks] In an effort to demonstrate that our language-independent software model checker, called Estes, is indeed landuage independent, I am writing and verifying a little Ada program. That would of course be easier if I actually knew how to write Ada. Interestingly, this brings me full-circle in a way. I got into CS because my Dad was (and still is) in CS. My Dad did a ton of Ada work as an Air Force officer. So I suppose I can always ask him for help if/when I get stuck.
Posted by jones at June 2, 2005 10:34 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)