The top documents tagged [modprogram semantics]
Pldi09 semantics aware trace analysis
113 views