您的位置: 专家智库 > >

文献类型

  • 2篇中文专利

主题

  • 2篇代码
  • 2篇代码生成
  • 2篇形式化
  • 2篇语法
  • 2篇控制方法
  • 1篇用户
  • 1篇结果集
  • 1篇过程控制
  • 1篇程控制

机构

  • 2篇中国农业银行...

作者

  • 2篇王皓瑜
  • 2篇廖方平
  • 2篇孙伟
  • 2篇张敬
  • 2篇刘鹏飞
  • 2篇张延堂
  • 2篇孔亮
  • 2篇曹轶
  • 2篇杜腾飞
  • 2篇程勇
  • 2篇罗茜

年份

  • 1篇2016
  • 1篇2013
2 条 记 录,以下是 1-2
排序方式:
一种形式化代码生成中的效率控制方法及装置
本发明公开了一种形式化代码生成中的效率控制方法及装置,该方法包括:接收效率控制规则,效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则;接收用户输入的形式化代码;对该代码进行解析,生成解析结果;判断代码是否符...
孔亮廖方平王皓瑜刘鹏飞张延堂齐诚民罗茜曹轶杨骥东孙令武张敬孙伟程勇杜腾飞
文献传递
一种形式化代码生成中的效率控制方法及装置
本发明公开了一种形式化代码生成中的效率控制方法及装置,该方法包括:接收效率控制规则,效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则;接收用户输入的形式化代码;对该代码进行解析,生成解析结果;判断代码是否符...
孔亮廖方平王皓瑜刘鹏飞张延堂齐诚民罗茜曹轶杨骥东孙令武张敬孙伟程勇杜腾飞
文献传递
共1页<1>
聚类工具0