| A theory of name resolution P Néron, A Tolmach, E Visser, G Wachsmuth Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 100 | 2015 |
| 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 | 72 | 2014 |
| 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 | 68 | 2016 |
| DynSem: A DSL for dynamic semantics specification V Vergu, P Neron, E Visser 26th International Conference on Rewriting Techniques and Applications (RTA …, 2015 | 51 | 2015 |
| 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 | 20 | 2016 |
| Axiomatizing analog algorithms O Bournez, N Dershowitz, P Néron Conference on Computability in Europe, 215-224, 2016 | 12 | 2016 |
| 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 | 9 | 2016 |
| A Quest for Exactness: Program Transformation for Reliable Real Numbers P Neron Ecole Polytechnique X, 2013 | 8 | 2013 |
| A Formal Proof of Square Root and Division Elimination in Embedded Programs P Neron Certified Program and Proofs, 256-272, 2012 | 6 | 2012 |
| Square root and division elimination in PVS P Neron International Conference on Interactive Theorem Proving, 457-462, 2013 | 5 | 2013 |
| 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 | 2 | 2011 |
| 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 | 1 | 2016 |
| A Certifying Square Root and Division Elimination P Neron Electronic Notes in Theoretical Computer Science 317, 117-131, 2015 | 1 | 2015 |
| Elimination of square roots and divisions by partial inlining P Neron Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 1 | 2014 |
| A formal proof of square root and division elimination in embedded programs P Neron Journal of Formalized Reasoning 6 (1), 89-111, 2013 | 1 | 2013 |
| An axiomatization of analog algorithms O Bournez, N Dershowitz, P Néron Submitted, 0 | 1 | |
| 30th European Conference on Object-Oriented Programming (ECOOP 2016) E Andreasen, CS Gordon, S Chandra, M Sridharan, F Tip, K Sen, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
| 26th International Conference on Rewriting Techniques and Applications (RTA 2015) H Kirchner, G Rosu, C Talcott, M Avanzini, C Sternagel, R Thiemann, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | | 2015 |
| 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, ... | | |
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
