« Abstract Interpretation | Main | Abstract Stone Duality »
May 13, 2005
Symbolic analysis of programs
A good systematic treatment, if somewhat older, of many issues in program comprehension via symbolic analysis "Symbolic Exectution as a tool for validation of specifications", Ralk Kneuper.
Posted by Carette at May 13, 2005 11:19 AM