全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

用异常处理机制获取程序继续

Keywords: 程序设计语言,继续,异常处理,程序变换,面向对象

Full-Text   Cite this paper   Add to My Lib

Abstract:

为在当今主流程序设计语言(如C++/Java/C#)中实现继续,采用异常处理机制获取程序继续的方法,利用优化的CPS(continuationpassingstyle)作为中间表示语言,在切片阶段自动确定切片单元和分析定义活性变元的生命期;并且,归纳了支持本方法语言的公共特征,设计出一个一般的、可重用的类层次系统,给出了系统基本架构和应用间的简单接口及实现.结果表明,在高级语言中实现继续机制是完全可行的,可有效地解决确定变元生命期的难题.

References

[1]  FRIEDMAN D P,WAND M,HAYNES C T.Essentials of programming language[M].2nd ed.Cambridge,Massachvsetts,USA:MIT-press,2001:308-317.
[2]  FLANAGN C,SABRY A,DUBA B F,et al.The essence of compiling with continuations[C]∥Proceedings of the ACMSIGPLAN 1993 Conference on Programming Language Design and Implementation.New York,USA:ACM,1993:237-247.
[3]  MATTHEWS J,FINDLER R B,GRAUNKE P T,et al.Automatically restructing programs for the Web[J].AutomatedSoftware Engineering,2004,11(4):337-364.
[4]  DUCASSE S,LIENHARD A,RENGGLI L.Seaside:a flexible environment for building dynamic Web applications[J].IEEESoftware,2007,24(5):56-63.
[5]  QUEINNEC C.Inverting back the inversion of control or,continuations versus page-centric programming[J].Journal of ACMSIGPLAN Notice,2003,38(2):57-64.
[6]  DANVY O,NIELSEN L R.A first-order one-pass CPS transformation[C]∥Proceedings of the5th International Conference onFoundations of Software Science and Computation Structures.London:Springer-Verlag,2002:98-113.
[7]  CLINGER W D.Proper tail recursion and space efficiency[C]∥Proceedings of ACM SIGPLAN 1998 Conference onProgramming Languages Design and Implementation.Montreal,Quebec,Canda:[s.n.],1998:174-185.
[8]  PIERCE B C.Types and programming languages[M].Cambridge,Massachusetts,USA:MIT-press,2002:117-146.
[9]  BOEHM H J.Space effiecient conservative garbage collection[C]∥Proceedings of the ACM SIGPLAN 1993 Conference onProgramming Language Design and Implementation.New York,USA:ACM,1993:197-206.
[10]  PRETTYJOHN G,CLEMENTS J,MARSHALL J,et al.Continuations from generalized stack inspection[C]∥Proceedingsof ACM SIGPLAN 2005 International Conference on Functional Programming.Tallinn,Estonia:ACM,2005:216-227.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133