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
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
Pretty-big-step Semantics, European Symposium on Programming, pp.41-60, 2013. ,
Reusable Components of Semantic Specifications, Transactions on Aspect-Oriented Software Development XII, pp.132-179, 2015. ,
The Calculational Design of a Generic Abstract Interpreter, Calculational System Design. NATO ASI Series F. IOS Press, 1999. ,
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. ,
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. ,
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. ,
Language Specification (ECMA-262, 2018. ,
Towards a Program Logic for JavaScript, ACM SIGPLAN Notices, vol.47, pp.31-44, 2012. ,
A Framework for Defining Logics, Proceedings of the Symposium on Logic in Computer Science (LICS '87), pp.194-204, 1987. ,
Ale? Bizjak, Lars Birkedal, and Derek Dreyer. 2017. Iris from the Ground Up, 2017. ,
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
IsaK: A Complete Semantics of K, 2018. ,
An Operational Semantics for JavaScript, See also: Dep. of Computing, vol.5356, pp.307-325, 2008. ,
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation, SAS (LNCS), vol.5079, pp.347-362, 2008. ,
Lem: Reusable Engineering of Real-world Semantics, Proc. of the 19th ACM SIGPLAN International Conference on Functional Programming, 2014. ,
Principles of Program Analysis, 1999. ,
Closure Analysis in Constraint Form, ACM Transactions on Programming Languages and Systems, vol.17, pp.47-62, 1995. ,
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. ,
A Structural Approach to Operational Semantics, 1981. ,
Matching Logic, Logical Methods in Computer Science, vol.13, issue.4, pp.1-61, 2017. ,
An Overview of the K Semantic Framework, Journal of Logic and Algebraic Programming, vol.79, pp.397-434, 2010. ,
Natural-semantics-based Abstract Interpretation (preliminary version), SAS. Springer LNCS, vol.983, pp.1-18, 1995. ,
Abstract Interpretation in the Operational Semantics Hierarchy, BRICS Report Series, vol.4, 1997. ,
Abstract Interpretation of Small-Step Semantics, Proc. 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, vol.1192, pp.76-99, 1997. ,
Ott: Effective Tool Support for the Working Semanticist, Journal of Functional Programming, vol.20, pp.71-122, 2010. ,
Abstracting Abstract Machines, Proc. of ACM 2010 Int. Conf. on Functional Programming (ICFP'10), pp.51-62, 2010. ,
Abstracting Abstract Machines: A Systematic Approach to Higher-order Program Analysis, Commun. ACM, vol.54, pp.101-109, 2011. ,