Publications of Pierre Néronhttps://researchr.org/profile/pierrejeanmichelneron/publicationsPublications of Pierre Néron28/03/2024 15:47Square Root and Division Elimination in PVShttps://researchr.org/publication/Neron13Pierre Néron. Square Root and Division Elimination in PVS. In Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, editors, Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Volume 7998 of Lecture Notes in Computer Science, pages 457-462, Springer, 2013. [doi]https://researchr.org/publication/Neron1307/11/2013 12:40A Formal Security Model of a Smart Card Web Serverhttps://researchr.org/publication/NeronN11Pierre Néron, Quang Huy Nguyen. A Formal Security Model of a Smart Card Web Server. In Emmanuel Prouff, editor, Smart Card Research and Advanced Applications - 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers. Volume 7079 of Lecture Notes in Computer Science, pages 34-49, Springer, 2011. [doi]https://researchr.org/publication/NeronN1107/11/2013 12:40A Formal Proof of Square Root and Division Elimination in Embedded Programshttps://researchr.org/publication/Neron12Pierre Néron. A Formal Proof of Square Root and Division Elimination in Embedded Programs. In Chris Hawblitzel, Dale Miller, editors, Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Volume 7679 of Lecture Notes in Computer Science, pages 256-272, Springer, 2012. [doi]https://researchr.org/publication/Neron1207/11/2013 12:40A Formal Proof of Square Root and Division Elimination in Embedded Programshttps://researchr.org/publication/Neron13-0Pierre Néron. A Formal Proof of Square Root and Division Elimination in Embedded Programs. J. Formalized Reasoning, 6(1):89-111, 2013. [doi]https://researchr.org/publication/Neron13-016/01/2014 5:07A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designshttps://researchr.org/publication/VisserOnward14Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Néron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. In Andrew P. Black, Shriram Krishnamurthi, Bernd Bruegge, Joseph N. Ruskiewicz, editors, Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014. pages 95-111, ACM, 2014. [doi]https://researchr.org/publication/VisserOnward1416/10/2014 8:37A Theory of Name Resolutionhttps://researchr.org/publication/NeronTVW15Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A Theory of Name Resolution. In Jan Vitek, editor, Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Volume 9032 of Lecture Notes in Computer Science, pages 205-231, Springer, 2015. [doi]https://researchr.org/publication/NeronTVW1529/04/2015 18:36DynSem: A DSL for Dynamic Semantics Specificationhttps://researchr.org/publication/VerguNV15Vlad A. Vergu, Pierre Néron, Eelco Visser. DynSem: A DSL for Dynamic Semantics Specification. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. Volume 36 of LIPIcs, pages 365-378, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]https://researchr.org/publication/VerguNV1503/07/2015 11:59Elimination of Square Roots and Divisions by Partial Inlininghttps://researchr.org/publication/Neron14Pierre Néron. Elimination of Square Roots and Divisions by Partial Inlining. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 81-92, ACM, 2014. [doi]https://researchr.org/publication/Neron1409/07/2015 16:57Language-Independent Type-Dependent Name Resolutionhttps://researchr.org/publication/TUD-SERG-2015-006Hendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Language-Independent Type-Dependent Name Resolution. Technical Report TUD-SERG-2015-006, Delft University of Technology, Software Engineering Research Group, Delft, The Netherlands, July 2015. https://researchr.org/publication/TUD-SERG-2015-00610/07/2015 22:46A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofshttps://researchr.org/publication/TUD-SERG-2015-009Hendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs. Technical Report TUD-SERG-2015-009, Software Engineering Research Group, Delft University of Technology, September 2015. https://researchr.org/publication/TUD-SERG-2015-00912/09/2015 15:13