期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种基于Monad反射语言解释器的构造 被引量：2

Construction of a Simple Reflect Language Interpreter Based on Monad
在线阅读 下载PDF
导出
摘要 通过定义一个简单的反射语言 ,给出了这种反射语言的一种基于 Monad的解释器构造技术 ,并以 Haskell语言实现了这种语言的解释器。 In this paper a simple reflect language is first defined on the basis of which its interpreter based on Monad is designed. At last the language is implemented in Haskell, a high order function language.
作者 吕江花 金成植
机构地区 吉林大学计算机科学与技术学院
出处 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2003年第4期487-492,共6页 Journal of Jilin University:Science Edition
基金 国家自然科学基金 (批准号 :60 0 73 0 41)
关键词 Monad方法 反射语言 解释器 HASKELL语言 函数式语言 形式化 程序设计语言 计算反射 computational reflect Monad metalevel functional language formalization
分类号 TP314 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1Yuan Qi(袁琦).[D].Changchun(长春): College of Computer Science and Technology, Jilin University(吉林大学计算机科学与技术学院),2000.
  • 2Smith B C. Reflection and Semantics in Lisp[C]. Conference Record of the Eleventh Annual ACM Symposiumon Principles of Programming Languages. Janpan: ACM, 1984. 23-35.
  • 3Moggi E. Computational Lambda-calculus and Monads[C]. Proceedings of the Fourth Annual Symposium on Logic in Computer Science. Pacific Grove, California: IEEE, 1989. 14-23.
  • 4Paul H, Joseph H F. A Gentle Introduction to Haskell[EB]. http://www. haskell.org/tutorial/. 2000.
  • 5Amr S, Philip W. A Reflection on Call-by-Value[J]. ACM Transactions on Programming Languages and Systems, 1997, 19(6):916-941.
  • 6James H, Tim S. A Semantics of Compile-time Reflection[R]. Technical Report CSE 93-019. Oregon Graduate Institute, 1993.
  • 7Filinski A. Representing Monads [C]. Conference Record of POPL'94:21ST ACM Sigplan-sigact Symposium on Principles of Programming Languages, Protland, Oregon. New York:1994. 446-457.
  • 8YuanQi(袁琦).[D].Changchun(长春):College of Computer Science and Te,2000.

同被引文献27

  • 1Hudak P, Fasel J H. A gentle introduction to Haskell [J]. ACM Sigplan Notices, 1992, 27(5): 1-53.
  • 2Mendhekar A, Friedman D P. An exploration of relationships between reflective theories [C/OL]. In: Kiczales G, ed. Proc Reflection '96. http://www2.parc.com/csl/groups/sda/projects/reflection96/, 1998-06-28.
  • 3Sabry A, Wadler P. A reflection on call-by-value [J]. ACM Transactions on Programming Languages and Systems, 1997, 19(6): 916-941.
  • 4Hook J, Kieburtz R B, Sheard T. Generating programs by reflection [R]. Technical Report CS/E 92-015. Portland, Oregon: Oregon Graduate Institute of Science & Technology, 1992.
  • 5Danvy O, Filinski A. Abstracting control [C]. Proceedings of the 1990 ACM Conference on Lisp and Functional Programming. Nice, France: ACM Press, 1990: 151-160.
  • 6Smith B C. Reflection and semantics in lisp [R]. Technical Report CSLI84-8. San Francisco, California: Stanford University Center for the Study of Language and Information, 1984.
  • 7Moggi E. Computational lambda-calculus and Monads [C]. Proceedings of the Fourth Annual Symposium on Logic in Computer Science. Pacific Grove, California: IEEE, 1989: 14-23.
  • 8BRIAN CANTWELL SMITH. Reflection and Semantics in Lisp [A]. Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages [ C ]. New York: ACM Press, 1984: 23-35.
  • 9WEYHRAUCH R. Prolegomena to a Theory of Mechanized Formal Reasoning [J]. Artificial Intelligence, 1980, 13 ( 1, 2):133-170.
  • 10BOWEN K. Meta-level Techniques in Logic Programming [A]. Proceedings of the International Conference on Artificial Intelligence and its Applications [C]. Netherlands (Amsterdam): North-Holland, 1986: 262-271.

引证文献2

二级引证文献5

吉林大学学报（理学版）
2003年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部