女生让男生桶他小肌肌30分钟

    <object id="mp48k"><strong id="mp48k"></strong></object><acronym id="mp48k"></acronym>
  1. <table id="mp48k"></table>
    1. <p id="mp48k"><strong id="mp48k"><small id="mp48k"></small></strong></p>
      <tr id="mp48k"><s id="mp48k"></s></tr>

      • go to Charles P. Thacker's profile page
      • go to Kenneth Lane Thompson's profile page
      • go to Barbara Liskov's profile page
      • go to Geoffrey E Hinton's profile page
      • go to Amir Pnueli's profile page
      • go to Michael O. Rabin 's profile page
      • go to William Kahan's profile page
      • go to E. Allen Emerson's profile page
      • go to Allen Newell 's profile page
      • go to Joseph Sifakis's profile page
      • go to Alfred V Aho's profile page
      • go to Dennis M. Ritchie 's profile page
      • go to Whitfield Diffie 's profile page
      • go to Kenneth E. Iverson 's profile page
      • go to Manuel Blum's profile page
      • go to Edsger W. Dijkstra's profile page
      • go to John L Hennessy's profile page
      • go to Pat Hanrahan's profile page
      • go to John Backus 's profile page
      • go to Adi Shamir's profile page
      • go to Butler W Lampson's profile page
      • go to Ivan Sutherland's profile page
      • go to C. Antony R. Hoare 's profile page
      • go to Alan Kay's profile page
      A.M. TURING AWARD WINNERS BY...

      John Backus DL Author Profile link

      United States – 1977
      Short Annotated Bibliography

      Papers (Speedcoding)

      1. Backus, J., “The IBM Speedcoding System,” The Journal of the Association for Computing Machinery, Vol. 1, Num. 1, pp. 4-6, January 1954, available here.
      2. Backus, J. and H. Herrick, “IBM 701 Speedcoding and Other Automatic Programming Systems,” Symposium on Automatic Programming for Digital Computers, Office of Technical Services, US Department of Commerce, May 1954. These two papers detail Backus’ first work in high-level programming languages, developed for the IBM 701 and focused on simplifying the problem of manipulating floating point numbers.

      Papers (FORTRAN)

      1. Specification for the IBM Mathematical FORmula TRANslating System, FORTRAN, IBM Applied Science Division, New York, November 10, 1954.
      2. Backus, J. et al., “The FORTRAN Automatic Coding System,” Proceedings of the Western Joint Computer Conference, February 26-28, 1957, Vol. 11, pp. 188-198. These two papers detail Backus’ design of FORTRAN.
      3. Backus, J., “The History of FORTRAN I, II, and III,” Annals of the History of Computing, Vol. 1, Num. 1, pp. 21-37, July-September 1979. This paper offers a history of FORTRAN in Backus’ own words.

      Papers (ALGOL)

      1. Backus, J., “The Syntax and Semantics of the Proposed International Algorithmic Programing Language of Zurich ACM-GAMM Conference,” Proceedings of the International Conference on Information Processing, UNESCO, pp. 125-132, 1959.
      2. Backus, J. et al., “Revised Report on the Algorithmic Language ALGOL 60,” Communications of the ACM, Vol. 6, Num. 1, pp. 1-17, 1960, available here.These two papers detail the design of ALGOL, using the Backus-Naur form (BNF).

      Papers (Functional Programming)

      1. Backus, J. “Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs,” Communications of the ACM, Vol. 21, Num. 8, 1978, pp, 613-641, available here. In this paper, Backus proposes the foundation of functional programming.
      女生让男生桶他小肌肌30分钟
        <object id="mp48k"><strong id="mp48k"></strong></object><acronym id="mp48k"></acronym>
      1. <table id="mp48k"></table>
        1. <p id="mp48k"><strong id="mp48k"><small id="mp48k"></small></strong></p>
          <tr id="mp48k"><s id="mp48k"></s></tr>