Compilateur (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Compilateur" in French language version.

Last modified:

Ref.Un. Ref.Website
Global rank French rank
33rd place
4th place
2nd place
3rd place
1,064th place
376th place
1,519th place
6,426th place
low place
low place
low place
low place
37th place
145th place
low place
low place
6,372nd place
1,075th place
low place
low place
low place
low place
low place
low place

absint.com (Global: low place; French: low place)

britannica.com (Global: 37th place; French: 145th place)

doi.org (Global: 2nd place; French: 3rd place)

dx.doi.org

doi.org

google.co.uk (Global: 1,519th place; French: 6,426th place)

books.google.co.uk

  • Vicki Porter Adams, « Captain Grace M. Hopper: the Mother of COBOL », InfoWorld, vol. 3, no 20, , p. 33 (ISSN 0199-6649, lire en ligne).
  • Mitch Betts, « Grace Hopper, mother of Cobol, dies », Computerworld, vol. 26, no 1, , p. 14 (ISSN 0010-4841, lire en ligne).

inria.fr (Global: 6,372nd place; French: 1,075th place)

hal.inria.fr

  • (en) Daniel Kästner, Jörg Barrho, Ulrich Wünsche et Marc Schlickling, « CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler », INRIA, , p. 1 (lire en ligne, consulté le )

issn.org (Global: 33rd place; French: 4th place)

portal.issn.org

  • Vicki Porter Adams, « Captain Grace M. Hopper: the Mother of COBOL », InfoWorld, vol. 3, no 20, , p. 33 (ISSN 0199-6649, lire en ligne).
  • Mitch Betts, « Grace Hopper, mother of Cobol, dies », Computerworld, vol. 26, no 1, , p. 14 (ISSN 0010-4841, lire en ligne).
  • (en) Xavier Leroy, « A Formally Verified Compiler Back-end », Journal of Automated Reasoning, vol. 43, no 4, , p. 363 (ISSN 1573-0670, DOI 10.1007/s10817-009-9155-4, lire en ligne, consulté le )

latex-project.org (Global: low place; French: low place)

openclassrooms.com (Global: low place; French: low place)

ort.edu.uy (Global: low place; French: low place)

fi.ort.edu.uy

  • Par exemple sur l'EDSAC, comme le décrit Alan Turing dans sa conférence, lors de l'inauguration, (en) A. M. Turing, « Checking a Large Routine », dans Report of a Conference on High Speed Automatic Calculating Machines, Univ. Math. Lab., Cambridge, p. 67-69 (1949) in Morris, F. L. et C. B. Jones, « An Early Program Proof by Alan Turing », Ann. Hist. Comp., vol. 6, no 2, , p. 139-143 (lire en ligne).

sbcl.org (Global: low place; French: low place)

  • (en) « SBCL User Manual », sur www.sbcl.org (consulté le ).

softwarepreservation.org (Global: low place; French: low place)

wiktionary.org (Global: 1,064th place; French: 376th place)

fr.wiktionary.org