|
|
| |
| |
| Research Grants |
| |
與院外合作之計畫 資訊所
| 編號 |
起迄年月 |
計劃編號 |
計劃名稱 |
主持人 |
協同主持人 |
補助單位 |
| 1 | 2012/08–2013/07 | NSC101-2221-E-001-005 | 形式化程式建構、分析、驗證之方法與應用-子計畫一:並行程式正確性之靜態型別檢驗(I) | 穆信成 | | 國科會 | | 2 | 2011/08–2012/07 | NSC100-2221-E-001-003 | 以依值型別與對話型別確保並行程式之正確性 | 穆信成 | 莊庭瑞 | 國科會 | | 3 | 2008/08–2011/10 | NSC97-2221-E-001-003-MY3 | 程式之模組性與擴充性：驗證方法與工具-總計畫 | 莊庭瑞 | 王柏堯、穆信成 | 國科會 | | 4 | 2008/08–2011/07 | NSC97-2221-E-001-005-MY3 | 程式之模組性與擴充性：驗證方法與工具-子計畫二：模組化、可擴充之依賴形態程式設計典範 | 穆信成 | 莊庭瑞 | 國科會 | | 5 | 2008/08–2011/07 | NSC97-2221-E-001-004-MY3 | 程式之模組性與擴充性：驗證方法與工具-子計畫ㄧ：ML程式語言的模組化驗證 | 莊庭瑞 | 穆信成 | 國科會 | | 6 | 2007/08–2008/07 | NSC96-2221-E-001-013 | 一個有反函數功能的函數程式語言 | 穆信成 | | 國科會 | |
| |
|
|
|
|
|
 |
|
|
|
