One course I've been going through lately is the MIT course on Abstract Interpretation ( http://web.mit.edu/16.399/www/ ). Programmers tend to break execution into "cases" to reason about it; e.g.: when writing a routine to reverse a string, you might think about the cases where the string is of even or odd length. Abstract Interpretation lets you capture this kind of reasoning precisely, and thereby automate it.
Advanced Computer Science Courses
11–20 of 55 posts
Re: Advanced Computer Science Courses
#12Thanks for the info ..!
Re: Advanced Computer Science Courses
#13I had taken Jon Kleinberg’s CS 6850 – Structure of Information Networks. (http://www.cs.cornell.edu/courses/cs6850/2011sp/)
Really brilliant course and very pertinent to interpreting and making sense of today’s connected world.
Re: Advanced Computer Science Courses
#14I'm confused, not a single one of these courses covers Ruby?
Re: Advanced Computer Science Courses
#15Optimization Algorithms for Planar Graphs: http://www.cs.brown.edu/courses/cs250/lectures/lectures.html
Re: Advanced Computer Science Courses
#16A list of links, any of which is easily googleable. Why do people upvote these so predictably?
Re: Advanced Computer Science Courses
#17A list of links, any of which is easily googleable. Why do people upvote these so predictably?
you need to know what to search for
Re: Advanced Computer Science Courses
#18I'm confused, not a single one of these courses covers Ruby?
[deleted]
Re: Advanced Computer Science Courses
#19One course I've been going through lately is the MIT course on Abstract Interpretation ( http://web.mit.edu/16.399/www/ ). Programmers tend to break execution into "cases" to reason about it; e.g.: when writing a routine to reverse a string, you might think about the cases where the string is of even or odd length. Abstract Interpretation lets you capture this kind of reasoning precisely, and thereby automate it.
Thank you for this reference. I was curious if there was some formal work on this subject. This was one of the holes in my studies.
Re: Advanced Computer Science Courses
#20I'm confused, not a single one of these courses covers Ruby?