Year	97
Project Category	MOST Projects
Project Title	程式之模組性與擴充性:驗證方法與工具－子計畫五:剖面導向函數語言之模組化狀態處理與型態擴充研究(1/3)
Participator	CHEN KUNG
Job Title	Principal Investigator
Period	2008.08 ~ 2009.07
Unit	National Science and Technology Council