Denotational Semantics Transform from Continuation to Direct

Lü Jianghua; Ma Shilong; Pan Jing; Jin Chengzhi

Journal of Computer Research and Development > 2006 > 43(7): 1304-1308.

Lü Jianghua, Ma Shilong, Pan Jing, Jin Chengzhi. Denotational Semantics Transform from Continuation to Direct[J]. Journal of Computer Research and Development, 2006, 43(7): 1304-1308.

Citation:

Lü Jianghua, Ma Shilong, Pan Jing, Jin Chengzhi. Denotational Semantics Transform from Continuation to Direct[J]. Journal of Computer Research and Development, 2006, 43(7): 1304-1308.

Citation:

Lü Jianghua, Ma Shilong, Pan Jing, Jin Chengzhi. Denotational Semantics Transform from Continuation to Direct[J]. Journal of Computer Research and Development, 2006, 43(7): 1304-1308.

PDF (280 KB)

Denotational Semantics Transform from Continuation to Direct

1(National Laboratory of Software Development Environment, Beihang University, Beijing 100083) 2(College of Computer Science and Technology, Jilin University, Changchun 130012) 3(School of Management, University of Science and Technology Beijing, Beijing 100083)

More Information

Published Date: July 14, 2006

Graphical Abstract

Abstract

Abstract

The key of semantic transform is the discord of semantics functions' signature. A denotational semantics transform technology from continuation to direct is given based on the analysis between the two in the early research, and here continuations in different context are handled differently. Finally, the implementation system is described in Haskell, which tests the feasibility of the transform method.
- denotational semantics,
- continuation,
- signature,
- semantics transform

FullText(HTML)

References (0)

[1]	Wang Yanhui, Xiao Xuemei, Jia Limin. Dynamic and Comprehensive Evaluation Mothod for Interoperability Trust Based on Fuzzy Variable Weighting[J]. Journal of Computer Research and Development, 2012, 49(6): 1235-1242.
[2]	Wang Zhuxiao, Hu Hong, Chen Limin, Shi Zhongzhi. Parallel Computation Techniques for Dynamic Description Logics Reasoning[J]. Journal of Computer Research and Development, 2011, 48(12): 2317-2325.
[3]	Miao Guangsheng, Feng Dengguo, Su Purui. A Collusion Detector Based on Fuzzy Logic in P2P Trust Model[J]. Journal of Computer Research and Development, 2011, 48(12): 2187-2200.
[4]	Wang Jin, Sun Huaijiang. A Novel Subjective Logic for Trust Management[J]. Journal of Computer Research and Development, 2010, 47(1): 140-146.
[5]	Wang Hailong, Ma Zongmin, Yin Junfu, and Cheng Jingwei. FRESG：A Kind of Fuzzy Description Logic Reasoner[J]. Journal of Computer Research and Development, 2009, 46(9): 1488-1497.
[6]	Jiang Yuncheng, Wang Ju, Zhou Shengming, Tang Yong. Hybrid Reasoning of Terminological Cycles in Description Logic εL[J]. Journal of Computer Research and Development, 2009, 46(1): 15-22.
[7]	Lin Jianning, Wu Huizhong. Research on a Trust Model Based on the Subjective Logic Theory[J]. Journal of Computer Research and Development, 2007, 44(8): 1365-1370.
[8]	Jiang Yuncheng, Tang Yong, Wang Ju, Shen Yuming. A Tableaux Decision Procedure for Fuzzy Description Logic FALNUI[J]. Journal of Computer Research and Development, 2007, 44(8): 1309-1316.
[9]	Hou Jian, Peng Jiayin, Zhang Yuzhuo, Zhang Chengyi. A Reverse Triple I Algorithm for Fuzzy Reasoning Based on Maximum Fuzzy Entropy Principle[J]. Journal of Computer Research and Development, 2006, 43(7): 1180-1185.
[10]	Zhu Junmao, Yang Shoubao, Fan Jianping, Chen Mingyu. A Grid & P2P Trust Model Based on Recommendation Evidence Reasoning[J]. Journal of Computer Research and Development, 2005, 42(5): 797-803.