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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。