相關詞條
- 東尼·霍爾
查爾斯·安東尼·理察·霍爾爵士(英語:Sir Charles Antony Richard Hoare,縮寫為 C. A. R. Hoare,1934年1月11日-),經常被暱稱為東尼·霍爾(一譯托尼·霍爾,...
- 霍爾邏輯
霍爾邏輯(英語:Hoare Logic),又稱弗洛伊德-霍爾邏輯(Floyd–Hoare logic),是英國計算機科學家東尼·霍爾開發的形式系統,這個系統的用途是為了使用嚴格的數理邏輯推理...
- 交談循序進程
這個語言於1983年出現,由英國計算機科學家David May,以及Inmos的科學家,在東尼·霍爾提供顧問意見後,共同研發而成。 [1] 參考資料 1. Hoare, C. A. R. ...
- 邊界檢查
在1980年圖靈獎講座上,東尼·霍爾講述了他設計包含邊界檢查的ALGOL 60語言時的經歷:該方法的原理主要是在程式運行時,每個含有下標的變數中的下標在每次被使用的時候...
- go(計算機程式語言)
Go的並行模型是以東尼·霍爾的通信順序進程(CSP)為基礎,採取類似模型的其他語言包括Occam和Limbo,但它也具有Pi運算的特徵,比如通道傳輸。在1.8版本中開放外掛程式(Plugin...
- 代理人導向編程
在這個領域的先驅人物有艾茲赫爾·戴克斯特拉、東尼·霍爾與泊·派克·漢森等人。 [1] 代理人導向編程回答集編程 回答集編程是語法上類似傳統邏輯編程而語義上密切...
- 艾米爾·伯努利
艾米爾·伯努利,出生於1941年,在以色列理工學院取得數學學士學位,1967年在魏茨曼...東尼·霍爾 1980 1970年代 肯尼斯·艾佛森 1979 羅伯特·弗洛伊德 1978 約翰...
- 結構化編程
結構化程式理論未提及如何撰寫結構化程式,也沒有提到結構化程式的分析,後來1960至1970年代時,戴克斯特拉、羅伯特·弗洛伊德、東尼·霍爾等計算機科學家在此領域有許多...