Pierre Néron
Pierre Néron
Standard Chartered
Vahvistettu sähköpostiosoite verkkotunnuksessa polytechnique.org - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
A theory of name resolution
P Néron, A Tolmach, E Visser, G Wachsmuth
European Symposium on Programming Languages and Systems, 205-231, 2015
672015
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
622014
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
442016
DynSem: A DSL for dynamic semantics specification
V Vergu, P Neron, E Visser
26th International Conference on Rewriting Techniques and Applications (RTA …, 2015
422015
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
142016
Axiomatizing analog algorithms
O Bournez, N Dershowitz, P Néron
Conference on Computability in Europe, 215-224, 2016
102016
A Quest for Exactness: Program Transformation for Reliable Real Numbers
P Neron
92013
A Formal Proof of Square Root and Division Elimination in Embedded Programs
P Neron
Certified Program and Proofs, 256-272, 2012
62012
SpecCert: Specifying and Verifying Hardware-based Software Enforcement
T Letan, P Chifflier, G Hiet, P Néron, B Morin
5*2016
Square root and division elimination in PVS
P Neron
International Conference on Interactive Theorem Proving, 457-462, 2013
52013
Challenges in Android Malware Analysis
VVT Tong, JF Lalande, M Leslous
32016
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
A Quest for Exactness: Program Transformation for Reliable Real Numbers
MC MUÑOZ
University of Manchester, 2013
2013
Elimination des racines et divisions pour du code embarqué
P Neron
2013
Constrained Anti-Unification for Program Transformation
P Neron, R Bost
2013
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
CB Poulsen, P Néron, A Tolmach, E Visser
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20