英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：


请选择你想看的字典辞典：
单词字典翻译
Hoare查看　Hoare　在百度字典中的解释百度英翻中〔查看〕
Hoare查看　Hoare　在Google字典中的解释Google英翻中〔查看〕
Hoare查看　Hoare　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Tony Hoare - Wikipedia
    Sir Charles Antony Richard Hoare ( h ɔːr ; born 11 January 1934), also known as C A R Hoare, is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing [3]
  • Hoare logic - Wikipedia
    Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers [1]
  • Tony Hoare | Biography Facts | Britannica
    Tony Hoare (born January 11, 1934, Colombo, Sri Lanka) is a British computer scientist and winner of the 1980 A M Turing Award, the highest honour in computer science, for “his fundamental contributions to the definition and design of programming languages ”
  • Department of Computer Science - Tony Hoare
    Tony Hoare's interest in computing was awakened in the early fifties, when he studied philosophy (together with Latin and Greek) at Oxford University, under the tutelage of John Lucas He was fascinated by the power of mathematical logic as an explanation of the apparent certainty of mathematical truth
  • C. Antony R. Hoare - A. M. Turing Award Laureate
    Hoare discusses the definition, origin, and purpose of the "Hoare Triple " The first of these steps has the profound effect of opening up a way of developing provable programs rather than treating their verification as a post hoc concern
  • Tony Hoare gt; gt; Biography - Computer Science
    Sir Charles Antony Richard Hoare is a British computer scientist who recieved the ACM Turing Award for "his fundamental contributions to the definition and design of programming languages "
  • Theories of Programming: The Life and Works of Tony Hoare | ACM Books . . .
    Hoare’s foundational paper “An Axiomatic Basis for Computer Programming”, presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions
  • Tony Hoare gt; gt; Contributions gt; gt; Hoare Logic - Computer Science
    Axiomatic semantic analysis - Hoare's concept We use Hoare triples, as explained above Each triple consists of three parts - a precondition, command and postcondition
  • Tony Hoare at Microsoft Research
    Sir Charles Antony Richard Hoare (Tony Hoare) has conducted research in computer science for over sixty years He began and finished his career working in industry, while spending the middle half in academia
  • C. A. R. Hoare – Pascal for small machines
    Born 1934, Colombo, Sri Lanka), British computer scientist and winner of the 1980 A M Turing Award, the highest honour in computer science, for “his fundamental contributions to the definition and design of programming languages ” In 1956 Tony Hoare earned a bachelor’s degree in classics from the University of Oxford





中文字典-英文字典  2005-2009