recent posts

typetitleauthor sort iconlast post
StoryIntroducing PathQuery, Google's Graph Query Language Z-Bo2021-07-27 13:34
Forum topicWhat is the best literate programming tool/environment/research work? Z-Bo2011-07-20 21:23
Forum topicComputational complexity of cascading stylesheets? Z-Bo2010-02-05 03:21
StoryEASTL -- Electronic Arts Standard Template Library Z-Bo2009-12-22 15:05
StoryGoogle announces Logica: organizing your data queries, making them universally reusable and fun Z-Bo2021-09-24 17:33
Forum topicRapid Prototyping tools & environments from academia Z-Bo2010-02-09 23:45
Forum topicHigh-Level Nondeterministic Abstractions in C++ zayenz2006-07-04 08:03
Forum topicLearn python to implement a complicated static code analyzer zell08v2012-03-30 20:10
Forum topicDo you happen to hear about pre-equivalence? zell08v2010-10-28 22:51
Forum topicIs there a site to discuss some issues on abstract interpretation? zell08v2010-05-08 19:32