Mechanized Operational Semantics of WSL

Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

6 Citations (Scopus)

Original language	English
Title of host publication	IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002)
Place of Publication	Los Alamitos, California, USA
Publisher	IEEE Computer Society Press
Pages	73-82
Number of pages	10
Publication status	Published - 2002

Cite this

@inbook{13222be01b454e1e9547d96de8fb4aab,

title = "Mechanized Operational Semantics of WSL",

author = "Xingyuan Zhang and Malcolm Munro and Mark Harman and Lin Hu",

year = "2002",

language = "English",

pages = "73--82",

booktitle = "IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002)",

publisher = "IEEE Computer Society Press",

}