查詢結果分析
來源資料
相關文獻
- Laws of Computing: A View from Forth
- 多形性紅斑
- 反覆以多形性紅斑為其皮膚表現的Sjogren氏病
- 軟侸巨大混合瘤--病例報告
- Treatment Results of Polymorphic Reticulosis at Veterans General Hospital-Taipei
- 臺灣地區商業化香菇品系之類緣探討與分群研究
- 臺灣落花生品種(系)之遺傳變異
- 血管緊縮素轉化酶基因多形性在臺灣地區布農族原住民及漢人分佈之不同
- Angiotensin-I Converting Enzyme Gene Deletion/Insertion Polymorphism and Myocardial Infarction in Taiwan Chinese
- Hydrodynamic Analysis of Two-Dimensional Hydrofoil for Marine Applications
頁籤選單縮合
題 名 | Laws of Computing: A View from Forth |
---|---|
作 者 | Tsuei,Tak-goa; Ting,C. H.; Chao,Han-chieh; | 書刊名 | 網際網路技術學刊 |
卷 期 | 1:2 2000.12[民89.12] |
頁 次 | 頁59-65 |
分類號 | 312.2 |
關鍵詞 | 多形性; 結構化程式; 程式計算; Forth; Turing engines; Polymorphism; Structured programming; |
語 文 | 英文(English) |
英文摘要 | A fully developed branch of science generally assumes a set well organized principles or laws, from which all the observable consequences can be derived by mathematics and logic. This paper is trying to explore the Law of Computing from the Forth aspects. A Forth program is constructed in independently testable modules, which are combined into bigger modules in which correctness can then be proven. In other languages, this recursive process is too expensive and too time consuming to be practical. The very tight code-test-edit loop in Forth gives Forth programmer the luxury to traverse his system up and down many times to prove its correctness. |
本系統中英文摘要資訊取自各篇刊載內容。