J4
• 计算机科学 • Previous Articles Next Articles
LU Jiang-hua, JIN Cheng-zhi
Received:
Revised:
Online:
Published:
Contact:
Abstract: In this paper the definition and quality of computational reflection are given over the definition of structure reflection. However, as a new programming technology and language semantics description method, Monad has received more and more attention of researchers. As a result it is important to investigate the union of Monad and reflection. The reflection quality of Monad is given and proved in this paper, on the basis of which the corresponding operations in reflection are also defined and proved by shift and reset operations of CPS. Based on the discussion in the paper, it is easy to construct a reflective Monad-oriented program.
Key words: reflection, Monad, meta-level, continuation
CLC Number:
LU Jiang-hua, JIN Cheng-zhi. Reflection in Monad[J].J4, 2004, 42(02): 195-199.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: http://xuebao.jlu.edu.cn/lxb/EN/
http://xuebao.jlu.edu.cn/lxb/EN/Y2004/V42/I02/195
Cited