Toward automatic update from callbacks to promises
暂无分享,去创建一个
[1] Simon Holm Jensen,et al. Remedying the eval that men do , 2012, ISSTA 2012.
[2] Philippa Gardner,et al. Towards a program logic for JavaScript , 2012, POPL '12.
[3] J. Morrison,et al. Flow-based programming , 2012 .
[4] Gareth Smith,et al. Local reasoning about Web programs , 2011 .
[5] Liuba Shrira,et al. Promises: linguistic support for efficient asynchronous procedure calls in distributed systems , 1988, PLDI '88.
[6] Arthur Charguéraud,et al. A trusted mechanised JavaScript specification , 2014, POPL.
[7] Barbara G. Ryder,et al. State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects , 2014, ECOOP.
[8] Peter Thiemann,et al. Type Analysis for JavaScript , 2009, SAS.
[9] Paul Hudak,et al. Wormholes: introducing effects to FRP , 2012, Haskell.
[10] Ankur Taly,et al. An Operational Semantics for JavaScript , 2008, APLAS.
[11] Kwang-Moo Choe,et al. Points-to analysis for JavaScript , 2009, SAC '09.
[12] Lars Ole Andersen,et al. Program Analysis and Specialization for the C Programming Language , 2005 .
[13] P. Gardner,et al. JuS: Squeezing the Sense out of JavaScript Programs , 2013 .
[14] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.
[15] Peter Thiemann. Towards a Type System for Analyzing JavaScript Programs , 2005, ESOP.
[16] Ankur Taly,et al. Language-Based Isolation of Untrusted JavaScript , 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
[17] Ankur Taly,et al. Isolating JavaScript with Filters, Rewriting, and Wrappers , 2009, ESORICS.
[18] Marc Pouzet,et al. Programming parallelism with futures in lustre , 2012, EMSOFT '12.