年度	97
计画类别	科技部
计画名称	程式之模组性与扩充性:验证方法与工具－子计画五:剖面导向函数语言之模组化状态处理与型态扩充研究(1/3)
参与人	陈恭,庄庭瑞,王柏尧
职称/担任之工作	计画主持人
计画期间	2008.08 ~ 2009.07
补助/委讬或合作机构	国科会