Robert Holmes wrote: > Is programming a mathematical formalism? No. I know that when I'm > cranking out Python scripts I am not doing any math. Is computer > science a mathematical formalism? Yes. When I'm trying to work out > whether my algorithm scales as N**2 or N.log.N, I'm doing math. A compiler is in the position to determine that. Is it doing math? Examples of current work:
http://www.osl.iu.edu/~kyross/pub/wgp2006-paper.pdf http://llvm.org/devmtg/2008-08/Kremenek_StaticAnalyzer.pdf http://www.microsoft.com/windows/cse/pa_projects.mspx ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org