计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
7期
1304-1308
,共5页
吕江花%马世龙%潘静%金成植
呂江花%馬世龍%潘靜%金成植
려강화%마세룡%반정%금성식
指称语义%接续函数%基调%语义转换
指稱語義%接續函數%基調%語義轉換
지칭어의%접속함수%기조%어의전환
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.
接續和直接指稱語義之間的轉換的主要難點在于不保函數基調.基于Monad思想推導齣的接續語義函數和直接語義函數之間的關繫,給齣瞭基于規約的從接續指稱語義描述形式到直接指稱語義描述形式的轉換技術,分彆攷慮瞭接續函數在不同情形下的處理.最後給齣瞭轉換算法的Haskell實現繫統,驗證瞭轉換的可行性.
접속화직접지칭어의지간적전환적주요난점재우불보함수기조.기우Monad사상추도출적접속어의함수화직접어의함수지간적관계,급출료기우규약적종접속지칭어의묘술형식도직접지칭어의묘술형식적전환기술,분별고필료접속함수재불동정형하적처리.최후급출료전환산법적Haskell실현계통,험증료전환적가행성.