Seguir
Pierre Néron
Pierre Néron
Standard Chartered
Dirección de correo verificada de polytechnique.org - Página principal
Título
Citado por
Citado por
Año
A theory of name resolution
P Néron, A Tolmach, E Visser, G Wachsmuth
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
882015
A language designer's workbench: a one-stop-shop for implementation and verification of language designs
E Visser, G Wachsmuth, A Tolmach, P Neron, V Vergu, A Passalaqua, ...
Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014
712014
A constraint language for static semantic analysis based on scope graphs
H Antwerpen, P Néron, A Tolmach, E Visser, G Wachsmuth
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
592016
DynSem: A DSL for dynamic semantics specification
V Vergu, P Neron, E Visser
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
512015
Scopes describe frames: A uniform model for memory layout in dynamic semantics
C Bach Poulsen, P Néron, A Tolmach, E Visser
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
192016
Axiomatizing analog algorithms
O Bournez, N Dershowitz, P Néron
Conference on Computability in Europe, 215-224, 2016
122016
A Quest for Exactness: Program Transformation for Reliable Real Numbers
P Neron
Ecole Polytechnique X, 2013
92013
SpecCert: specifying and verifying hardware-based security enforcement
T Letan, P Chifflier, G Hiet, P Néron, B Morin
International Symposium on Formal Methods, 496-512, 2016
82016
A Formal Proof of Square Root and Division Elimination in Embedded Programs
P Neron
Certified Program and Proofs, 256-272, 2012
62012
Square root and division elimination in PVS
P Neron
International Conference on Interactive Theorem Proving, 457-462, 2013
52013
A formal security model of a smart card web server
P Neron, QH Nguyen
International Conference on Smart Card Research and Advanced Applications, 34-49, 2011
22011
A constraint language for static semantic analysis based on scope graphs with proofs
H van Antwerpen, P Néron, AP Tolmach, E Visser, G Wachsmuth
Technical Report TUD-SERG-2015-012, Software Engineering Research Group …, 2016
12016
A Certifying Square Root and Division Elimination
P Neron
Electronic Notes in Theoretical Computer Science 317, 117-131, 2015
12015
Elimination of square roots and divisions by partial inlining
P Neron
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
12014
A formal proof of square root and division elimination in embedded programs
P Neron
Journal of Formalized Reasoning 6 (1), 89-111, 2013
12013
An axiomatization of analog algorithms
O Bournez, N Dershowitz, P Néron
Submitted, 0
1
Elimination des racines et divisions pour du code embarqué
P Neron
Journées du GDR-GPL, 2013
2013
A Language Designer's Workbench
E Visser, G Wachsmuth, A Tolmach, P Neron, V Vergu, A Passalaqua, ...
Constrained Anti-Unification for Program Transformation
P Neron, R Bost
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19