Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu. Mechanized Operational Semantics of WSL. In 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada. pages 73-82, IEEE Computer Society, 2002. [doi]
Abstract is missing.