implementing higher-order control in java

	implementing higher-order control in java
	Yu Gang
	2008
会议名称	2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
会议录名称	Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
页码	229-232
会议日期	JUN 17-19,
会议地点	Nanjing, PEOPLES R CHINA
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
ISBN	978-0-7695-3249-3
部门归属	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China.
摘要	Based on the idea of control obtained from exception handling system, previous works have proposed many similar source transformations for different higher-order control applications. In this paper we bring up a general transformation framewor
关键词	Java Formal Transformation Algorithm Higher-order Control Operator
主办者	IEEE Comp Soc, IEEE, IFIP, Nanjing Univ
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10570
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Yu Gang. implementing higher-order control in java[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS,2008:229-232.