咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 39 篇 专利
  • 11 篇 期刊文献
  • 1 篇 成果

馆藏范围

  • 51 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 9 篇 工学
    • 8 篇 计算机科学与技术...
    • 6 篇 软件工程
    • 1 篇 石油与天然气工程
  • 3 篇 理学
    • 3 篇 数学

主题

  • 12 篇 构造程序
  • 3 篇 自动生成系统
  • 2 篇 驱动程序
  • 2 篇 中间语言
  • 2 篇 代码生成
  • 1 篇 定义域
  • 1 篇 状态表
  • 1 篇 思维形式
  • 1 篇 字库
  • 1 篇 等价变换
  • 1 篇 特殊情况
  • 1 篇 事件驱动
  • 1 篇 翻译机
  • 1 篇 猜想
  • 1 篇 自动编程
  • 1 篇 应用域
  • 1 篇 线性空间
  • 1 篇 软件
  • 1 篇 算法模式
  • 1 篇 n元-t元对称多项式...

机构

  • 4 篇 东南大学
  • 4 篇 中国科学院软件研...
  • 2 篇 北京计算机技术及...
  • 2 篇 北京芯可鉴科技有...
  • 2 篇 中国科学院计算技...
  • 2 篇 南京大学
  • 2 篇 中国人民解放军战...
  • 2 篇 欧特克公司
  • 2 篇 中国科学院声学研...
  • 2 篇 国网信息通信产业...
  • 2 篇 华南理工大学
  • 2 篇 武汉大学
  • 2 篇 安徽工业大学
  • 2 篇 扬州大学
  • 2 篇 北京智芯微电子科...
  • 2 篇 武汉万云网络科技...
  • 1 篇 华东水利学院
  • 1 篇 西安交通大学
  • 1 篇 富士通株式会社
  • 1 篇 国网江苏省电力有...

作者

  • 4 篇 孙小兵
  • 4 篇 王桐
  • 4 篇 刘畅
  • 4 篇 李必信
  • 2 篇 陈志峰
  • 2 篇 杨珍
  • 2 篇 芮志清
  • 2 篇 王红梅
  • 2 篇 万晨
  • 2 篇 武斌
  • 2 篇 曹思聪
  • 2 篇 李斌
  • 2 篇 张贵民
  • 2 篇 薄莉莉
  • 2 篇 原义栋
  • 2 篇 陈健
  • 2 篇 李恒
  • 2 篇 何灯
  • 2 篇 曹飞
  • 2 篇 王烨

语言

  • 51 篇 中文
检索条件"主题词=构造程序"
共 51 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
程序设计的构造性方法的基础
收藏
分享
引用
电子计算机动态 1981年 第8期 1-6页
作者： B.Meyer 刘宽名
本文分析了程序设计中一些最基本的和有生产力的问题;对这些问题的理解和应用将有助于程序员认识典型情况去构造程序。
来源： 评论
程序构造方法、程序构造系统及终端设备
程序构造方法、程序构造系统及终端设备
收藏
分享
引用
作者： 川端功微 菊池秀寿 浅利隆太郎 大杉基之 富田顺 日本神奈川县
本发明涉及程序构造方法、程序构造系统及终端设备。一种通过组合多个功能单元来构造程序的信息处理系统，具有用于管理多个组件等的信息表，每个组件都是程序的功能单元，所述信息表存储有多条管理信息，以对每个组件的使用记录进行单... 详细信息
来源： 评论
反汇编翻译器的自动生成系统IATG
收藏
分享
引用
华东水利学院学报 1984年 第4期 44-53页
作者： 倪天倪 赵正迈 华东水利学院自动化工程系
本文提出一个通用的反汇编翻译器的自动生成系统***包括:机器指令描述语言HZR-IDL,系统控制程序、表构造程序和反汇编翻译程序.它是基于本文讨论的特征分类树识别算法,运用自动机原理而在DJS-130机器上实现.本文侧重讨论IATG的基本思想... 详细信息
来源： 评论
一个代码生成的自动化方法
收藏
分享
引用
计算机学报 1984年 第5期 330-340页
作者： 郑茂松 中国科学院计算技术研究所
本文提出一个代码生成的自动化方法。它是一个表驱动的代码生成方法,可用于编译程序的移植。它是通过代码生成程序的自动生成系统XYZ/CGG来实现的。本文主要讨论CGG的设计与实现。
来源： 评论
代码生成程序的自动生成系统
收藏
分享
引用
计算机学报 1982年 第5期 352-361页
作者： 郑茂松 中国科学院计算技术研究所
本文提出一个代码生成程序的自动生成系统XYZ/CGG。CGG 包括:机器描述形式的代码生成语言 XYZ/CGL、表构造程序和代码生成程序。它是在国际上当前代码生成研究的基础上做适当改进而成的,已在111机上初步实现。本文侧重讨论CGL的特点。
来源： 评论
轮换对称多项式通式的构造及初等轮换式的自动发现
收藏
分享
引用
佛山科学技术学院学报（自然科学版） 2011年 第1期29卷 36-42页
作者： 何灯 福清港头中学 福建福清350317
通过改进算法的轮换对称多项式的通式构造程序,研究了初等轮换对称多项式的构造,编写Maple程序得到了3元到7元的初等轮换对称多项式;提出并编程实现列表乘法运算,为较多元多项式的线性表示及多项式的通式构造提供了强有力的工具;提出了... 详细信息
来源： 评论
自动程序设计系统
收藏
分享
引用
上海交通大学学报 1978年 第1期 213-228页
作者： 孙永强
本文描述一个自动程序设计系统的梗概。给出了一系列常用的形式化程序设计策略,它们连同[1]中所给出的形式推导程序规则,构成一个目标导向的自动程序设计系统的基础,并通过几个程序的构造过程,指出它们的适用性。阐述了把程序进行抽象... 详细信息
来源： 评论
局部对称线性空间再探究
收藏
分享
引用
佛山科学技术学院学报（自然科学版） 2013年 第4期31卷 49-53页
作者： 何灯 全国不等式研究会 浙江海宁314400
提出了通用的局部对称多项式对称类型通式的构造算法,编程实现了部分多元局部对称多项式的类型通式构造,理论上解决了7元以内局部对称多项式空间基的求解及多项式一般式的构造,建立了维数统计表。
来源： 评论
基于知识的程序设计
收藏
分享
引用
计算机应用 1986年 第4期8卷 9-12页
作者： 鲁汉榕 重庆大学计算机系
大程序开发的困难是众所周知的。为了克服软件危机,人们设计新的编程语言,使用合适的开发支持环境和工具,使软件开发工程化,以及试图程序编制自动化等等。基于形式化技术(如公理化方法或形式逻辑方法)的自动程序设计(或程序自动生成)还... 详细信息
来源： 评论
用OOP技术实现嵌入式汉字系统
收藏
分享
引用
中文信息 1994年 第4期 27-30页
作者： 田志良 李汉斌 云南大学计算机系
面向对象的程序设计(OOP-Object-Oriented Programming)被称为程序设计方法中的一次革命。本文简述结构化程序设计(SP-Structured Programming)和OOP之间的差异,并介绍用OOP技术实现嵌入式汉字系统的实例。 一、OOP与SP的不同点 SP主要... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共6页 <<  < 1 2 3 4 5 6 >  >>
回到顶部
执行限定条件