中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
implementing higher-order control in java

文献类型:会议论文

作者Yu Gang
出版日期2008
会议名称2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
会议日期JUN 17-19,
会议地点Nanjing, PEOPLES R CHINA
关键词Java formal transformation algorithm higher-order control operator
页码229-232
会议主办者IEEE Comp Soc, IEEE, IFIP, Nanjing Univ
会议录Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
会议录出版者TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
会议录出版地10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
ISBN号978-0-7695-3249-3
源URL[http://ir.iscas.ac.cn/handle/311060/10570]  
专题软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式
GB/T 7714
Yu Gang. implementing higher-order control in java[C]. 见:2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering. Nanjing, PEOPLES R CHINA. JUN 17-19,.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。