江苏省高校自然科学研究项目(05KJD520151)
- 作品数：3 被引量：18H指数：2
- 相关作者：张迎周徐宝文钱俊彦张卫丰张治国更多>>
- 相关机构：南京邮电大学东南大学桂林电子工业学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 浅议电子支付方式被引量：1
- 2006年
- 在线电子支付是以计算机和通信技术为手段,通过计算机网络系统以电子信息传递形式实现的货币支付与资金流通。电子支付具有方便、快捷、高效、经济的优势;它是采用先进的信息技术通过数字流转来完成信息传输的,其各种支付方式都是采用数字化的方式进行款项支付的;电子支付的工作环境基于一个开放的系统平台(如互联网);电子支付使用最先进的通信手段。
- 杨一涛罗梦琳张治国
- 关键词：电子支付支付方式
- 形式语义描述方法研究进展与评价被引量：5
- 2006年
- 程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。
- 张迎周张卫丰钱俊彦
- 关键词：安全协议分析
- 一种基于模块单子语义的动态程序切片方法被引量：12
- 2006年
- 提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.
- 张迎周徐宝文
- 关键词：程序切片动态切片单子
