原创 程序的基本部分
構成程序的基本成分包括 子程序、子例程、例程、協同例程、遞歸例程、模塊和構件。 子程序：與子任務相應的處理對象和處理規則的描述。 子例程：subroutine 可由其他程序或子程序調用的子程序，子例程有兩個方面：一是定義方面
2020-07-02 09:48:11
原创 馮-諾依曼和“程序存儲”
馮.諾曼的主要貢獻就是提出並實現了“存儲程序”的概念。 馮.諾曼結構處理器具有以下幾個特點： 必須有一個存儲器； 必須有一個控制器； 必須有一個運算器，用於完成算術運算和邏輯運算； 必須有輸入和輸出設備，用於進行人機
2020-02-21 06:39:07
原创 專業術語預讀
狀態空間 state-space model-checking deadlock freedom Software Modeling and Verification temporal logic 時
2020-02-21 06:39:07
原创 關於how to design program的評論(轉載)
說這本書沒有完全將scheme的思想說出來，那應該是沒問題的但說到scheme的語法，要知道scheme的語法標準也不過100頁這本書基本上都涵蓋了跟sicp不大一樣的是，htdp更基本，而前者在思想上更寬，所以我選擇了這本書而不是sic
2020-02-21 06:39:07
原创 model-checking
model checking 模型檢測是針對一個模型的測試。 具體的測試，是對模型執行的實例的一種測試。模型測試更加抽象。 狀態空間 剪枝 Model checking is a method for formally
2020-02-21 06:39:07
原创 我喜歡去的網站
http://www.tektalk.cn 彎曲評論 點贊 收藏 分享 文章舉報 zlstone2010 發佈了48 篇原創文章 · 獲贊 0 · 訪問量 2萬+
2020-02-21 06:39:07
原创 程序粘滯性
程序的粘滯性 函數的粘滯性： 輸入粘滯和輸出粘滯。 使用外部的內存，產生內存供外部代碼使用。 模塊的粘滯性： 模塊的粘滯性等同以上。 點贊 收藏 分享 文章舉報
2020-02-21 06:39:06
原创 Python 生成器
python 生成器 點贊 收藏 分享 文章舉報 zlstone2010 發佈了48 篇原創文章 · 獲贊 0 · 訪問量 2萬+ 私信
2020-02-21 06:39:06
原创 相關語言概念
自由變量：局部變量之外的變量稱之爲自由變量。 點贊 收藏 分享 文章舉報 zlstone2010 發佈了48 篇原創文章 · 獲贊 0 · 訪問量 2萬+ 私信
2020-02-21 06:39:06
原创 語言和系統
語言： 語意 semantics assign meangings to programs 系統： 隔離 耦合 同步 併發 模型 model checking concurrent program verifica
2020-02-21 06:39:06
原创 語言術語——英文翻譯
作用域 scope 點贊 收藏 分享 文章舉報 zlstone2010 發佈了48 篇原創文章 · 獲贊 0 · 訪問量 2萬+ 私信
2020-02-21 06:39:06
原创 計算機科學家的主頁
John McCarthy http://www-formal.stanford.edu/jmc/ 點贊 收藏 分享 文章舉報 zlstone2010 發佈了48 篇原創文章
2020-02-21 06:39:06