Mechanized Operational Semantics of WSL.

Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu

Browse the full SCAM paper archive.