pl.programming-languages open-problem research-practice asked Jun 2, 2013 at 2:24

webkit chromium mutation-observers asked May 12, 2012 at 1:33

computability asked Feb 20, 2012 at 3:09

computability undecidability halting-problem self-reference asked Aug 6, 2014 at 23:00

programming-languages object-oriented denotational-semantics asked May 9, 2016 at 19:37

programming-languages program-optimization program-verification asked Jun 20, 2016 at 17:44

prolog gnu-prolog iso-prolog prolog-assert asked Nov 17, 2013 at 4:25

java eclipse eclipse-plugin asked Oct 22, 2012 at 4:32

turing-machines lambda-calculus regular-language asked Oct 14, 2013 at 5:42

set-theory axioms asked May 19, 2013 at 23:03