Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Hi-index | 48.22 |
The Communications Web site, http://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts.twitterFollow us on Twitter at http://twitter.com/blogCACMhttp://cacm.acm.org/blogs/blog-cacmBertrand Meyer asks why too many research agencies seem obsessed with funding only groundbreaking projects.