recent posts

typetitleauthor sort iconlast post
StoryBack to the Future: Lisp as a Base for a Statistical Computing System Z-Bo2009-12-22 20:56
StoryFacebook open sources "Infer", static program analysis tool Z-Bo2015-07-28 18:54
StoryDesign Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson Z-Bo2009-10-26 23:13
Forum topicOSCON 2010 Emerging Languages Camp Z-Bo2010-09-22 16:24
Forum topicComprehensive overview of security models? Z-Bo2010-11-02 21:07
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
Forum topicWhat data sets would tell you the most about what sort of programming language to design? Z-Bo2010-02-20 20:59
StoryJoe Duffy: A (brief) retrospective on transactional memory Z-Bo2010-09-09 12:58
Forum topicHigh-Level Nondeterministic Abstractions in C++ zayenz2006-07-04 08:03
Forum topicIs there a site to discuss some issues on abstract interpretation? zell08v2010-05-08 19:32