[PRL] FW: [Csail-related] Course Announcement: Patrick Cousot - 16.399Abstract Interpretation

[Matthias Felleisen]

Aero and Astro received (around) six professorships in software 
engineering a few years back. They are now operating under the 
assumption that aircraft are 30M lines of code with wings attached to 
them, and similar ideas.

I don't know who pulled it off, but these engineers are on the right 
track, if you ask me. Unlike ours, who still live in the 70s. Well, you 
can't fix everything about a place :-)

-- Matthias


On Feb 7, 2005, at 10:53 PM, Mitchell Wand wrote:

> Aero & Astro???
>
> --Mitch
>
>
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl