recent posts

typetitleauthor sort iconlast post
StoryGoogle Brain's Jax and Flax Z-Bo2021-01-15 15:01
Forum topicTwo new tags Z-Bo2010-01-27 06:26
Forum topicForum "Unread Posts" bug Z-Bo2010-06-12 11:20
StoryPure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 Z-Bo2012-03-06 03:02
StoryBart De Smet on .NET 4's System.Interactive library Z-Bo2010-02-12 19:12
StoryCode Bubbles Z-Bo2010-04-06 17:51
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
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