A. Ajouli and J. Cohen, Refactoring Composite to Visitor and Inverse Transformation in Java, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00652872

J. [. Ajouli, J. Cohen, and . Royer, Transformations between Composite and Visitor Implementations in Java, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications, pp.25-32, 2013.
DOI : 10.1109/SEAA.2013.53
URL : https://hal.archives-ouvertes.fr/hal-00834149

S. Blazy and X. Leroy, Mechanized Semantics for the Clight Subset of the C Language, Journal of Automated Reasoning, vol.29, issue.6, pp.263-288, 2009.
DOI : 10.1007/s10817-009-9148-3
URL : https://hal.archives-ouvertes.fr/inria-00352524

F. [. Brant and . Steimann, Refactoring tools are trustworthy enough and trust must be earned. Software, IEEE, vol.32, issue.6, pp.80-83, 2015.

J. Cohen and A. Ajouli, Practical use of static composition of refactoring operations, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1700-1705, 2013.
DOI : 10.1145/2480362.2480684
URL : https://hal.archives-ouvertes.fr/hal-00751304

J. Cohen and R. Douence, Views, Program Transformations, and the Evolutivity Problem in a Functional Language, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00481941

R. [. Cohen, A. Douence, and . Ajouli, Invertible Program Restructurings for Continuing Modular Maintenance, 2012 16th European Conference on Software Maintenance and Reengineering, pp.347-352, 2012.
DOI : 10.1109/CSMR.2012.42
URL : https://hal.archives-ouvertes.fr/hal-00662777

]. A. Gar05 and . Garrido, Program refactoring in the presence of preprocessor directives, 2005.

X. Ge and E. Murphy-hill, Manual refactoring changes with automated refactoring validation, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.1095-1105, 2014.
DOI : 10.1145/2568225.2568280

J. Henkel and A. Diwan, CatchUp!, Proceedings of the 27th international conference on Software engineering , ICSE '05, pp.274-283, 2005.
DOI : 10.1145/1062455.1062512

G. Kniesel and H. Koch, Static composition of refactorings, Science of Computer Programming, vol.52, issue.1-3, pp.9-51, 2004.
DOI : 10.1016/j.scico.2004.03.002

R. Krebbers, An operational and axiomatic semantics for non-determinism and sequence points in C, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.101-112, 2014.
DOI : 10.1145/2535838.2535878

X. Leroy, Programming with dependent types: passing fad or useful tool? Informal minutes of IFIP Working Group 2.8 26th meeting, 2009.

H. Li and S. Thompson, Formalisation of Haskell Refactorings, Trends in Functional Programming, 2005.

[. Li, S. Thompson, and C. Reinke, The Haskell Refactorer, HaRe, and its API, Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications (LDTA 2005), pp.29-34, 2005.
DOI : 10.1016/j.entcs.2005.02.053

M. Mongiovi, R. Gheyi, G. Soares, L. Teixeira, and P. Borba, Making refactoring safer through impact analysis, Science of Computer Programming, vol.93, pp.39-64, 2014.
DOI : 10.1016/j.scico.2013.11.001

M. Mongiovi and . Safira, A tool for evaluating behavior preservation, Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, pp.213-214, 2011.

Y. Padioleau, Parsing C/C++ Code without Pre-processing, Compiler Construction, pp.109-125, 2009.
DOI : 10.1007/978-3-642-00722-4_9

C. [. Pfenning and . Elliott, Higher-order abstract syntax, ACM SIGPLAN Notices, vol.23, issue.7, pp.199-208, 1988.
DOI : 10.1145/960116.54010

M. Schäfer, T. Ekman, and O. De-moor, Challenge proposal, Proceedings of the 3rd workshop on Programming languages meets program verification, PLPV '09, pp.67-72, 2008.
DOI : 10.1145/1481848.1481859

G. Soares, Automated behavioral testing of refactoring engines, Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, pp.105-106

]. D. Spi03 and . Spinellis, Global analysis and transformations in preprocessed languages. Software Engineering, IEEE Transactions on, vol.29, issue.11, pp.1019-1030, 2003.

[. Sultana and S. Thompson, Mechanical verification of refactorings, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '08, 2008.
DOI : 10.1145/1328408.1328417

M. Vittek, Refactoring browser with preprocessor, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings., p.101, 2003.
DOI : 10.1109/CSMR.2003.1192417

. Xiang-yin, . Johnc, . Knight, . Elisabetha, W. Nguyen et al., Formal verification by reverse synthesis, Computer Safety, Reliability, and Security, pp.305-319, 2008.

J. Xiang-yin, W. Knight, and . Weimer, Exploiting refactoring in formal verification, Dependable Systems Networks, 2009. DSN '09. IEEE/IFIP International Conference on, pp.53-62, 2009.