Halite
·4 minutes read (~772 words)
artificial-general-intelligence (244)
Automated language learning
·2 minutes read (~340 words)
Stories index
·1 minute read (~45 words)
Thomas Fahringer - Advanced Symbolic Analysis for Compilers - 2003
·3 minutes read (~436 words)
Flemming Nielson - Principles of Program Analysis - 1999
·4 minutes read (~766 words)
Paul Jorgensen - Software Testing: A Craftsman's Approach - 2008
·29 minutes read (~5722 words)
Patrice Godefroid - Automating Software Testing Using Program Analysis (2008)
·3 minutes read (~471 words)
Process assistant
·4 minutes read (~744 words)
Static analysis
·1 minute read (~142 words)
Marcus Hutter - A Complete Theory of Everything (will be subjective) (2010)
·6 minutes read (~1011 words)