SJS: a Typed Subset of JavaScript with Fixed Object Layout

THIS REPORT HAS BEEN WITHDRAWN

Philip Wontae Choi, Satish Chandra, George Necula and Koushik Sen

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2015-10
March 6, 2015

Author Comments: This version has a typo and will be withdrawn after Jun 2015.