Implementing Higher-order Control in Java

摘要：

Based on the idea of control obtained from exceptionhandling system, previous works have proposed many similar source transformations for different higher-order control applications. In this paper, we bring up a general transformation framework for Java-like imperative language. We define a small java-like language and present the formal transformation algorithms for the control linearized form FANE On FANF, we introduce the annotation method for exceptional continuation. We also implement the higher-order control operator fcontrol/run as an example of the basic infrastructure.

作者: Gang Yu

作者单位: State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences Beijing, 100080, China Graduate University, Chinese Academy of Sciences Beijing, 100049, China

会议类型: 国际会议

会议名称: 第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

会议地点: 南京

会议语种:英文

页码: 229-232

在线出版日期: 2008-06-17（万方平台首次上网日期，不代表论文的发表时间）