67194成l人在线观看线路

    <code id="gvbxt"><em id="gvbxt"><track id="gvbxt"></track></em></code><object id="gvbxt"><nobr id="gvbxt"><sub id="gvbxt"></sub></nobr></object>
    <code id="gvbxt"><em id="gvbxt"></em></code>

    <object id="gvbxt"></object>

      <strike id="gvbxt"><video id="gvbxt"></video></strike>
    1. <code id="gvbxt"></code>
      <th id="gvbxt"><sup id="gvbxt"></sup></th>
    2. <big id="gvbxt"><nobr id="gvbxt"></nobr></big>
      • go to Shafi Goldwasser 's profile page
      • go to Whitfield Diffie 's profile page
      • go to Alan Kay's profile page
      • go to E. Allen Emerson's profile page
      • go to Kristen Nygaard 's profile page
      • go to Stephen A Cook's profile page
      • go to Leslie G Valiant's profile page
      • go to Dana S Scott's profile page
      • go to David Patterson 's profile page
      • go to Butler W Lampson's profile page
      • go to Jim Gray 's profile page
      • go to C. Antony R. Hoare 's profile page
      • go to Edgar F. Codd's profile page
      • go to Allen Newell 's profile page
      • go to Edmund Clarke's profile page
      • go to Frederick Brooks's profile page
      • go to Richard Karp's profile page
      • go to Edsger W. Dijkstra's profile page
      • go to Kenneth Lane Thompson's profile page
      • go to Yoshua Bengio's profile page
      • go to Maurice V. Wilkes's profile page
      • go to Martin Hellman 's profile page
      • go to Silvio Micali's profile page
      • go to Adi Shamir's profile page
      A.M. TURING AWARD WINNERS BY...

      Dana Stewart Scott DL Author Profile link

      United States – 1976
      Short Annotated Bibliography
      1. Scott, Dana and Michael O. Rabin, “Finite Automata and Their Decision Problem,” IBM Journal of Research and Development, Vol. 3, Num. 2, 1959, pp. 114-125.This is the classic paper that introduced the concept of nondeterministic machines.
      2. Scott, Dana S., Outline of a mathematical theory of computation. Technical Monograph PRG-2, Oxford University Computing Laboratory, Oxford, England, November 1970.
      3. Scott, Dana S. and Christopher Strachey. Toward a mathematical semantics for computer languages, Oxford Programming Research Group Technical Monograph. PRG-6. 1971.The above two works give background to and the development of Scott and Strachey’s work on denotational semantics.
      4. Scott, Dana S. and C.A. Gunter, Semantic Domains, in Handbook of Theoretical Computer Science: Formal Models and Semantics, Vol. B, Jan Van Leeuwen (editor), Elsevier/MIT Press, 1990.This article gives an overview of some of his more recent work and what new directions are opening up for others to follow. The hope is that this work will also lead to better connections with information retrieval, electronic publishing, and more generally studies on the structure and production of electronic text.

       

      67194成l人在线观看线路

        <code id="gvbxt"><em id="gvbxt"><track id="gvbxt"></track></em></code><object id="gvbxt"><nobr id="gvbxt"><sub id="gvbxt"></sub></nobr></object>
        <code id="gvbxt"><em id="gvbxt"></em></code>

        <object id="gvbxt"></object>

          <strike id="gvbxt"><video id="gvbxt"></video></strike>
        1. <code id="gvbxt"></code>
          <th id="gvbxt"><sup id="gvbxt"></sup></th>
        2. <big id="gvbxt"><nobr id="gvbxt"></nobr></big>