软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2004年
7期
969-976
,共8页
函数式语言%多态%类型检查%递归函数%类型系统
函數式語言%多態%類型檢查%遞歸函數%類型繫統
함수식어언%다태%류형검사%체귀함수%류형계통
以上下文无关语言上的递归函数为基础的语言LFC(1anguage for context free recursive function)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specification acquisition system)中实现,为其最初设计的类型系统不支持多态类型.引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统.对多态类型系统实现中的一些问题也进行了讨论.在实现多态之后,LFC的灵活性将得到增强,从而会为其应用创造更为有利的条件.
以上下文無關語言上的遞歸函數為基礎的語言LFC(1anguage for context free recursive function)是一種形式規約語言,適于處理短語結構.LFC也是函數式語言,具有函數式語言的許多特點.LFC已經在形式規約穫取繫統SAQ(specification acquisition system)中實現,為其最初設計的類型繫統不支持多態類型.引入類型變量和相應的類型檢查方法,就可以將其類型繫統擴充為多態類型繫統.對多態類型繫統實現中的一些問題也進行瞭討論.在實現多態之後,LFC的靈活性將得到增彊,從而會為其應用創造更為有利的條件.
이상하문무관어언상적체귀함수위기출적어언LFC(1anguage for context free recursive function)시일충형식규약어언,괄우처리단어결구.LFC야시함수식어언,구유함수식어언적허다특점.LFC이경재형식규약획취계통SAQ(specification acquisition system)중실현,위기최초설계적류형계통불지지다태류형.인입류형변량화상응적류형검사방법,취가이장기류형계통확충위다태류형계통.대다태류형계통실현중적일사문제야진행료토론.재실현다태지후,LFC적령활성장득도증강,종이회위기응용창조경위유리적조건.
