My goal in my static analysis work is not to solve general problems like the Four Color Theorem, but rather to simulate closely the human reasoning process to solve problems that are generated, comprehendible, and solvable by normal people. Practical and deep, rather than complete. Humans write programs to be
Read more »
Jan 2, 2008, 1:56AM
AI
,
NStatic