pl.programming-languages open-problem research-practice asked Jun 2 '13 at 2:24

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

computability asked Feb 20 '12 at 3:09

computability undecidability halting-problem self-reference asked Aug 6 '14 at 23:00

programming-languages object-oriented denotational-semantics asked May 9 '16 at 19:37

programming-languages program-optimization program-verification asked Jun 20 '16 at 17:44

java eclipse eclipse-plugin asked Oct 22 '12 at 4:32

prolog gnu-prolog iso-prolog prolog-assert asked Nov 17 '13 at 4:25

turing-machines lambda-calculus regular-language asked Oct 14 '13 at 5:42

set-theory axioms asked May 19 '13 at 23:03