Stem wsl$ (all stems)
2 papers:
- SCAM-2002-HarmanHMZDDO #interprocedural #slicing
- An Interprocedural Amorphous Slicer for WSL (MH, LH, MM, XZ, SD, MD, LO), pp. 105–114.
- SCAM-2002-ZhangMHH #semantics
- Mechanized Operational Semantics of WSL (XZ, MM, MH, LH), pp. 73–82.