Z-Bo

typetitleauthor sort iconlast post
StorySTABILIZER : Statistically Sound Performance Evaluation gasche2015-08-19 14:43
StoryFacebook open sources "Infer", static program analysis tool Z-Bo2015-07-28 18:54
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicWhat makes LtU more or less enjoyable? gasche2015-05-07 06:03
Forum topicVirgil: a statically-typed language balancing functional and OO features Kartik Agaram2014-10-25 23:08
StoryLtU's new server Anton van Straaten2014-10-20 16:51
Forum topicReactive Programming J Storrs Hall2014-08-06 03:32
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
Forum topicYou don't mean people actually still use it?! Ehud Lamm2014-04-25 01:13
Story.NET Compiler Platform ("Roslyn") Ehud Lamm2014-04-22 23:53
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicModern Shell Language Pavel P2014-04-06 11:51
StoryFacebook Introduces ‘Hack,’ the Programming Language of the Future bashyal2014-03-26 03:53
Forum topicParsing expression grammar MohamedIBrahim2014-03-07 14:05
StoryMixed-Site Variance bashyal2013-09-09 21:39
Forum topicSF-calculus Barry Jay2013-08-30 18:42
Forum topicA Case for Gestures/Visualizations and Against Concrete Syntax Thomas Lord2013-08-25 05:05
Forum topicGlobal State Machines Inadequate (contra Dijkstra and Gurevich et. al.) Hewitt2013-08-14 18:34
Forum topicThe Power of Interoperability: Why Objects Are Inevitable Sean McDirmid2013-08-07 23:59
Forum topicQuote Safe unquote JVM language? markt2013-07-30 09:43
Forum topicmobile web apps are slow -- and GC is to blame Christian Lindig2013-07-18 22:05
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
Forum topicLibrary vs. domain specific language Gergely Buday2013-06-28 15:39
Forum topica Scientific Basis for Visual Notations raould2013-06-17 13:12
Forum topicCompile-time constraint solver? George Morrison2013-06-16 10:18