M. Bodin, A. Charguéraud, D. Filaretti, P. Gardner, S. Maffeis et al., A trusted mechanised javascript specification, Proceedings of POPL 2014, pp.87-100, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00910135

A. Charguéraud, Pretty-Big-Step Semantics, Proceedings of ESOP 2013, pp.41-60, 2013.
DOI : 10.1007/978-3-642-37036-6_3

B. Kruck, S. Lehmann, C. Keßler, J. Reschke, T. Felgentreff et al., Multi-level debugging for interpreter developers, Companion Proceedings of the 15th International Conference on Modularity, MODULARITY Companion 2016, pp.91-93, 2016.
DOI : 10.1145/2892664.2892679

S. Maffeis, J. C. Mitchell, and A. Taly, An Operational Semantics for JavaScript, Proceedings of APLAS 2008, pp.307-325, 2008.
DOI : 10.1145/1190216.1190252

D. Park, A. Stefanescu, and G. Rosu, KJS: a complete formal semantics of javascript, Proceedings of PLDI 2015, pp.346-356, 2015.

G. Rosu and T. Serbanuta, An overview of the K semantic framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, pp.397-434, 2010.
DOI : 10.1016/j.jlap.2010.03.012

J. Vouillon and V. Balat, From bytecode to javascript: the js_of_ocaml compiler. Software: Practice and Exprerience, pp.951-972, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00826786