Sign In

Login

Password

Forgot Password ? Sign Up

Compilateur (French Wikipedia)

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

refsWebsite
Global rank French rank
3issn.org
57th place
4th place
3doi.org
2nd place
3rd place
2wiktionary.org
649th place
238th place
2google.co.uk
504th place
362nd place
2absint.com
low place
low place
1ort.edu.uy
low place
low place
1britannica.com
40th place
124th place
1softwarepreservation.org
low place
low place
1inria.fr
4,903rd place
875th place
1openclassrooms.com
low place
3,977th place
1latex-project.org
low place
low place
1sbcl.org
low place
low place

absint.com

britannica.com

doi.org

dx.doi.org

doi.org

google.co.uk

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

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

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

openclassrooms.com

ort.edu.uy

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

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

softwarepreservation.org

wiktionary.org

fr.wiktionary.org