Mechanized Operational Semantics of WSL (2002)

by Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu
Venue:IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), Los Alamitos