Semantic Code Analysis.

Walter G. Wilson, Chester C. John

Browse the full IJCAI paper archive.