J. Angles-d-'auriac, D. Barthou, D. Becirevic, R. Bilhaut, F. Bodin et al., Towards the petaflop for Lattice QCD simulations the PetaQCD project
URL : https://hal.archives-ouvertes.fr/in2p3-00380246

T. Aoto, J. Yoshida, and Y. Toyama, Proving Confluence of Term Rewriting Systems Automatically, Proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA '09, pp.93-102, 2009.
DOI : 10.1006/jsco.1994.1003

R. W. Sheikholeslami, Improved continuum limit lattice action for QCD with wilson fermions, Nuclear Physics B, vol.259, issue.4, pp.572-597, 1985.
DOI : 10.1016/0550-3213(85)90002-1

D. Barthou, G. Grosdidier, M. Kruse, O. , and C. Tadonki, Qiral: A high level language for lattice qcd code generation, 1208.
URL : https://hal.archives-ouvertes.fr/hal-00666885

M. Clark, R. Babich, K. Barros, R. Brower, and C. Rebbi, Solving lattice QCD systems of equations using mixed precision solvers on GPUs, Computer Physics Communications, vol.181, issue.9, pp.1517-1528, 2010.
DOI : 10.1016/j.cpc.2010.05.002

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., The Maude 2.0 System, Rewriting Techniques and Applications (RTA 2003), number 2706 in Lecture Notes in Computer Science, pp.76-87, 2003.
DOI : 10.1007/3-540-44881-0_7

J. Doi, Peta-scale Lattice Quantum Chromodynamics on a Blue Gene/Q supercomputer, 2012 International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-45
DOI : 10.1109/SC.2012.96

F. Durn and J. Meseguer, A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories, Rewriting Logic and Its Applications, pp.86-103, 2010.
DOI : 10.1007/978-3-642-16310-4_7

R. G. Edwards and B. Joo, The Chroma Software System for Lattice QCD, Nuclear Physics B - Proceedings Supplements, vol.140, p.832, 2005.
DOI : 10.1016/j.nuclphysbps.2004.11.254

K. Jansen and C. Urbach, tmLQCD: A program suite to simulate Wilson twisted mass lattice QCD, Computer Physics Communications, vol.180, issue.12, pp.2717-2738, 2009.
DOI : 10.1016/j.cpc.2009.05.016
URL : http://arxiv.org/abs/0905.3331

B. Joó and M. A. Clark, Lattice QCD on GPU clusters, using the QUDA library and the Chroma software system, International Journal of High Performance Computing Applications, vol.26, issue.4, pp.386-398, 2012.
DOI : 10.1177/1094342011429695

B. Jo, D. Kalamkar, K. Vaidyanathan, M. Smelyanskiy, K. Pamnany et al., Lattice QCD on Intel?? Xeon PhiTM Coprocessors, Lecture Notes in Computer Science, vol.7905, pp.40-54, 2013.
DOI : 10.1007/978-3-642-38750-0_4

D. E. Knuth, Literate programming. The Computer Journal, pp.97-111, 1984.

M. Luescher, Computational strategies in lattice QCD, pp.331-399, 2009.
DOI : 10.1093/acprof:oso/9780199691609.003.0006

H. Neuberger, Exactly massless quarks on the lattice, Physics Letters B, vol.417, issue.1-2, pp.141-144, 1998.
DOI : 10.1016/S0370-2693(97)01368-3

M. Pharr and W. Mark, ispc: A SPMD compiler for high-performance CPU programming, 2012 Innovative Parallel Computing (InPar), pp.1-13, 2012.
DOI : 10.1109/InPar.2012.6339601

M. Püschel, F. Franchetti, and Y. Voronenko, Encyclopedia of Parallel Computing, chapter Spiral, 2011.

C. Tadonki, G. Grosdidier, and O. P-`-ene, An efficient CELL library for lattice quantum chromodynamics, ACM SIGARCH Computer Architecture News, vol.38, issue.4, pp.60-65, 2010.
DOI : 10.1145/1926367.1926378
URL : https://hal.archives-ouvertes.fr/in2p3-00564860

E. Visser, Z. El-abidine, and . Benaissa, A Core Language for Rewriting, Rewriting Logic and its Applications, pp.422-441, 1998.
DOI : 10.1016/S1571-0661(05)80027-1