您的位置： 专家智库 > >

李一丁

作品数：2 被引量：6H指数：1
供职机构：南京大学更多>>
相关领域：经济管理自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇专利

领域

  • 1篇经济管理
  • 1篇自动化与计算...

主题

  • 1篇等价
  • 1篇等价性
  • 1篇语法树
  • 1篇人民币
  • 1篇人民币国际化
  • 1篇货币
  • 1篇货币国际化
  • 1篇编译器

机构

  • 2篇南京大学
  • 1篇复旦大学

作者

  • 2篇李一丁
  • 1篇马晓星
  • 1篇许祥云

传媒

  • 1篇金融教学与研...

年份

  • 1篇2023
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种编译器的编译正确性验证方法
本发明提供一种编译器的编译正确性验证方法，对每一个种子测试样例，通过匹配语法树节点，选取匹配节点进行节点变异操作，并生成对应的调试指令序列将节点变异的效果还原，从而生成具有执行等价性的变异测试样例。本发明通过增加原始测试...
蒋炎岩马晓星李一丁
货币及人民币国际化成本收益的研究综述被引量：6
2010年
货币国际化既有收益,也有成本,但多数学者认为成本小于收益,在条件成熟的情况下应推动本国货币的国际化。我们应全面认识人民币国际化的成本和收益,未雨绸缪,有效控制人民币国际化过程中可能出现的问题。
许祥云李一丁
关键词：货币国际化人民币国际化
全选 清除 导出
共1页<1>
聚类工具0