M. Bodin, A. Charguéraud, D. Filaretti, P. Gardner, S. Maffeis et al., Flocq: A Unified Library for Proving Floating-point Algorithms in Coq, 2010.

]. A. Boh12 and . Bohannon, Foundations of Web Script Security, 2012.

]. A. Cha10a and . Charguéraud, The optimal fixed point combinator, Proceeding of the first international conference on Interactive Theorem Proving (ITP), pp.195-210, 2010.

]. A. Cha10b and . Charguéraud, TLC: a non-constructive library for coq based on typeclasses, 2010.

]. A. Cha12 and . Charguéraud, Pretty-big-step semantics, 2012.

D. [. Chugh, R. Herman, and . Jhala, Dependent types for javascript, Proceedings of OOPSLA 2012, 2012.

P. [. Chugh, R. Rondon, and . Jhala, Nested refinements: a logic for duck typing, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '12, pp.231-244, 2012.

. Enyo, Enyo web site, p.2012

S. [. Gardner, G. D. Maffeis, and . Smith, Towards a program logic for javascript, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.31-44, 2012.

C. [. Guha, S. Saftoiu, and . Krishnamurthi, The essence of javascript, ECOOP 2010? Object-Oriented Programming, pp.126-150, 2010.

D. Hedin and A. Sabelfeld, Information-flow security for a core of javascript, Proceedings of the 25th IEEE Computer Security Foundations Symposium, CSF 2012, pp.3-18, 2012.

J. Jourdan, F. Pottier, and X. Leroy, Validating lr(1) parsers, Proceedings of the 21st European conference on Programming Languages and Systems, pp.397-416, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01077321

T. [. Luo and . Rezk, Mashic compiler: Mashup sandboxing based on inter-frame communication, IEEE Proceedings of 25th IEEE Computer Security Foundations Symposium, pp.157-170, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01353966

J. [. Maffeis, A. Mitchell, and . Taly, An operational semantics for javascript. Programming Languages and Systems, pp.307-325, 2008.

J. [. Maffeis, A. Mitchell, and . Taly, An operational semantics for javascript, 2011.

. Mozilla, B2g wiki. https://wiki.mozilla.org/B2G, 2012.

E. [. Serrano, F. Gallesio, and . Loitsch, Hop: a language for programming the web 2.0, Proceedings of the First Dynamic Languages Symposium, pp.975-985, 2006.

M. Sozeau and N. Oury, First-class type classes, Theorem Proving in Higher Order Logics, pp.278-293, 2008.
DOI : 10.1007/978-3-540-71067-7_23
URL : https://hal.archives-ouvertes.fr/inria-00628864

]. A. Tem-+-11, Ú. Taly, J. C. Erlingsson, M. S. Mitchell, J. Miller et al., Automated analysis of security-critical javascript apis, Security and Privacy (SP), 2011 IEEE Symposium on, pp.363-378, 2011.

V. [. Vouillon and . Balat, From bytecode to javascript: the js_of_ocaml compiler. unpublished, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00826786

A. [. Yu, N. Chander, I. Islam, and . Serikov, Javascript instrumentation for browser security, Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '07, pp.237-249, 2007.

]. A. Zak11 and . Zakai, Emscripten: an llvm-to-javascript compiler, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, pp.301-312, 2011.