M. Bodin, A. Charguéraud, D. Filaretti, P. Gardner, S. Maffeis et al., A Trusted Mechanised JavaScript Specification, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.87-100, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00910135

M. Bodin, T. Jensen, and A. Schmitt, Certified Abstract Interpretation with Pretty-Big-Step Semantics, Proceedings of the 2015 ACM Conference on Certified Programs and Proofs (CPP'15), pp.29-40, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01111588

A. Charguéraud, Pretty-big-step Semantics, European Symposium on Programming, pp.41-60, 2013.

M. Churchill, D. Peter, N. Mosses, P. Sculthorpe, and . Torrini, Reusable Components of Semantic Specifications, Transactions on Aspect-Oriented Software Development XII, pp.132-179, 2015.

P. Cousot, The Calculational Design of a Generic Abstract Interpreter, Calculational System Design. NATO ASI Series F. IOS Press, 1999.

P. Cousot and R. Cousot, Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.238-252, 1977.

A. ?tef?nescu, D. Park, S. Yuwen, Y. Li, and G. Ro?u, Semantics-Based Program Verifiers for All Languages, Proc. of the 31th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'16), pp.74-91, 2016.

T. Dinsdale-young, L. Birkedal, P. Gardner, M. Parkinson, and H. Yang, Views: Compositional Reasoning for Concurrent Programs, Proc. of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '13), pp.287-300, 2013.

E. , Language Specification (ECMA-262, 2018.

P. Gardner, S. Maffeis, and G. Smith, Towards a Program Logic for JavaScript, ACM SIGPLAN Notices, vol.47, pp.31-44, 2012.

R. Harper, F. Honsell, and G. D. Plotkin, A Framework for Defining Logics, Proceedings of the Symposium on Logic in Computer Science (LICS '87), pp.194-204, 1987.

R. Jung, R. Krebbers, and J. Jourdan, Ale? Bizjak, Lars Birkedal, and Derek Dreyer. 2017. Iris from the Ground Up, 2017.

G. Kahn, Natural Semantics, STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, vol.247, pp.22-39, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075953

L. Li and E. L. Gunter, IsaK: A Complete Semantics of K, 2018.

S. Maffeis, J. C. Mitchell, and A. Taly, An Operational Semantics for JavaScript, See also: Dep. of Computing, vol.5356, pp.307-325, 2008.

J. Midtgaard and T. Jensen, A Calculational Approach to Control-Flow Analysis by Abstract Interpretation, SAS (LNCS), vol.5079, pp.347-362, 2008.

D. P. Mulligan, S. Owens, K. E. Gray, T. Ridge, and P. Sewell, Lem: Reusable Engineering of Real-world Semantics, Proc. of the 19th ACM SIGPLAN International Conference on Functional Programming, 2014.

F. Nielson, R. Hanne, C. Nielson, and . Hankin, Principles of Program Analysis, 1999.

J. Palsberg, Closure Analysis in Constraint Form, ACM Transactions on Programming Languages and Systems, vol.17, pp.47-62, 1995.

F. Pfenning and C. Schürmann, System Description: Twelf-A Meta-Logical Framework for Deductive Systems, Automated Deduction-CADE-16, 16th International Conference on Automated Deduction, vol.1632, pp.202-206, 1999.

G. Plotkin, A Structural Approach to Operational Semantics, 1981.

G. Ro?u, Matching Logic, Logical Methods in Computer Science, vol.13, issue.4, pp.1-61, 2017.

G. Ro?u-and-traian-florin and . ?erb?nu??, An Overview of the K Semantic Framework, Journal of Logic and Algebraic Programming, vol.79, pp.397-434, 2010.

A. David and . Schmidt, Natural-semantics-based Abstract Interpretation (preliminary version), SAS. Springer LNCS, vol.983, pp.1-18, 1995.

D. A. Schmidt, Abstract Interpretation in the Operational Semantics Hierarchy, BRICS Report Series, vol.4, 1997.

D. A. Schmidt, Abstract Interpretation of Small-Step Semantics, Proc. 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, vol.1192, pp.76-99, 1997.

P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge et al., Ott: Effective Tool Support for the Working Semanticist, Journal of Functional Programming, vol.20, pp.71-122, 2010.

D. Van-horn and M. Might, Abstracting Abstract Machines, Proc. of ACM 2010 Int. Conf. on Functional Programming (ICFP'10), pp.51-62, 2010.

D. Van-horn and M. Might, Abstracting Abstract Machines: A Systematic Approach to Higher-order Program Analysis, Commun. ACM, vol.54, pp.101-109, 2011.