The paper Type Analysis for JavaScript is accepted at SAS'09 1 April 2009 by Ann Eg Mølhave Link to the article