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