Read the html version of this CFP athttp://www.cs.berkeley.edu/~necula/tldi07/cfp.htmlThe ACM SIGPLAN Workshop on Types in Language Design and ImplementationAffiliated with ACM SIGPLAN-SIGACT Symposium on Principles ofProgramming Languages (PPL), 2007.ScopeThe role of types and proofs in all asp...
Call for ParticipationACM SIGAda's Annual International ConferenceNovember 12-16, 2006Albuquerque, New Mexico, USAJoin us this year in Albuquerque, New Mexico from November 12th throughthe 16th for the annual SIGAda Conference. This year's programincludes two and a half days of technic...
Hi!I've written here before about my problems getting a robust systemrunning Annex E with GLADE.So far, I've found GLADE under 3.15 to be problematic withwhat appear to be race hazards with calls via Remote Access to Class-Widetypes (RACW). Using a recent GLADE under GNAT GPL 2006 andg...
I'm new to Ada, having to learn it for work, and I am beginning tounderstand the language, I think.However, coming from C (and family) and Java and other "modern"languages, I can't seem to wrap my head around Ada's methods. Is itthat there is simply nothing like a class in C++ or...
I'm trying to write a program that will look at a directory and takethe "_"'s out of all of the files and replace them with spaces. thisseems like an easy program but i haven't used ada since freshman yearand i'm kind of stumped. any ideas. no this is not for an assignment:)t...
Hi,I'm looking to get a job in this particular area of softwaredevelopment. I've been out of the programming area for a while aftertaking some time out. Now, I'm thinking that it might be better to trto find something where cross training is provided. I don't have anyprofessi...
I successfully compiled and run your original code. The important thingis the starting sequence of partitions. That is cpart , bpart and apartshould be started in sequence. Cpart terminates first. Then, after 1000seconds, cpart and bpart terminate. Therefore, delay 1000 seconds inamain.adb is un...
Hi --There's a little "Tron" video game in Icon found at:Nice example! Many thanks to Edrx!H...
Both X'Address and Unchecked_Conversion of a pointer to X would not givethe true address of X (i.e. the address returned by Allocate of thecorresponding storage pool). For an array type, X'Address is the address ofthe first element, the dope is out.Is there any better way than this ext...
Aonix is pleased to announce the release of AonixADT 3.11, the firstpublicly available version of our commercial quality Ada Development Toolkitfor Eclipse.AonixADT is a freely available plugin for Ada language development inEclipse. In addition to supporting standard Eclipse functionality andvi...
apologies if you have received multiple copies.CALL FR PAPERSSecond International Symposium onFundamentals of Software Engineering 2007Theory and Practice(FSEN '07)http://cs.ipm.ac.ir/FSEN07Tehran, IranApril 17-19 2007About FSENFSEN is an international symposium aiming to bring together re...
10 Sep 2006, at 19:55, Peter.H.M.Brooks@gmail.com wrote:a wiki that's written in Ada.That would be the Casbah, available at(still in the old "software" directory, waiting for man-hours toupdate the site ;-)It's Miai Certified progressive software.A Casbah system is online at...

