依赖项重写系统及其在程序设计语言中的应用

面重写系统是一种简洁通用的计算模型，在许多领域中有着重要的应用。     

Ada程序包及其在系统程序设计中的应用

本文从软件工程及程序设计方法学的角度分析 Ada 程序包的主要优点。作者以近期的实践为例,指出了 Ada 程序包或类似机构在系统程序设计中的应用。     

图式理论在程序设计语言教学中的应用

在介绍图式理论概念的基础上,分析程序阅读的心理构建过程,提出将图式理论应用于程序设计语言教学,通过帮助学生主动构建形式图式并巩固已有图式,取得良好的教学效果。     

BMP文件结构剖析及其在程序设计语言中的应用

本文介绍了ＭＳ－Ｗｉｎｄｏｗｓ使用的，与设备无关的位图文件ＢＭＰ，分析了ＢＭＰ文件的格式和特点，同时分析了ＢｏｒｌａｎｄＢＧＩ图形接口标准中使用的位图信息存储格式，在此基础上，给出了将ＢＭＰ文件转换符合ＢＧＩ位图信息存储格式的ＰＩＣ文件的算法，从而将Ｗｉｎｄｏｗｓ性能卓越的交互式绘图工具Ｐａｉｎｔ－ｂｒｕｓｈ推广到程序设计语言环境，弥补了程序设计语言在交互作图方面的不足。     

ADL语言及其在程序展开中的应用

本文提出了一种以ADL语言为基础的程序展开方法。用这种方法展开程序,首先用ADL描述层语言给出问题功能特性的描述,然后应用变换规则将该描述逐步变换为用ADL核心层语言写出的与其语义等价的程序。变换规则的选用以及展开过程的控制不仅可以由程序员执行,而且也可以由机器自动完成。作者设计的实验性质的程序自动展开系统对于一些教学规模的程序已经调试成功。     

程序可视化技术在程序设计语言教学中的应用探讨

本文探讨了程序可视化技术在程序设计语言教学中的应用问题,并介绍了笔者所设计的用VB编写的冒泡排序算法的程序可视化应用实例。     

CV系统集成电路程序设计语言ICPL在钣金展开中的应用

一、前言斜园锥台,园顶方底连接管,园顶矩形底连接管,两节、三节、四节园管弯头和等径裤形三通管是我所科研生产中常用的七种钣金零件。这些零件的制造,以往都是从人工计算、在油毡上放大样、在钢板上划线开始的,整个过程较为复杂、费时。例如,园     

重写技术及其在计算机科学中的应用

项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。同时说明了目前重写技术几个活跃的研究课题。本文还介绍了重写技术在自动定理证明、逻辑程序设计和软件开发中的应用。     

系统程序设计语言XCY

XCY语言是一种系统程序设计语言,它主要用于书写系统程序.本语言的特点是:使用方便、规模适度、概念简明.在设计中,吸取了国际上几种流行的系统程序设计语言的基本成份,并加以提炼而成.本文是这种语言的一个试用文本.     

系统程序设计语言 CSP

概述所谓系统程序设计语言,就是用来书写系统软件(如操作系统、编译系统等)的高级语言。早期的系统软件是用机器指令或汇编语言书写的,具有费工、难懂、难改、难调试等一系列缺点,并且很难由一台计算机移植到另一台计算机上去。     

广义继承及其在面向对象程序设计语言中的实现

本给出一种包含多种继承行为的，非常灵活的代码复用机制－广义继承，通过给出其操作语义和一个支持类间子类型关系确认的类机制，为其在面向对象程序设计语言中的实现奠定了基础。     

高效率重写型程序的设计

本文考虑如何设计高效率(即重写步数较少的)重写型程序。文中以计算Fibonacci数列的程序为例．比较具有相同功能的重写型程序,展示编写高效率重写型程序的可能性。介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法。其中．动态项重写计算是项重写系统的元计算模型,其计算同样基于项重写。     

任务驱动教学法在程序设计语言教学中的应用

本文就任务驱动教学法在程序设计语言教学中的应用做了初步的实践,对形式和内涵也作了初步的探索,并论述了任务驱动教学法的基本情况和开展任务驱动的教学模式.     

项目教学法在程序设计语言课程教学中的应用

为了提高程序设计语言课程的教学效果,满足应用性人才培养的需求,论文提出了在程序设计语言课程教学中引入项目教学法。文章详细地阐述了项目教学法的整个实施过程,包括项目的选择、项目在教学过程中的具体实施及教学效果的总结。     

游戏思想在程序设计语言课程教学中的应用

计算机程序设计语言课程是高等院校计算机应用等专业教学计划中的一门重要课程,但在教学过程中学生的畏难情绪普遍存在,很大程度上影响了教学效果。本文从教学实践出发,针对在计算机程序设计教学中出现的问题,探讨了如何有效地通过游戏案例把游戏思想应用于程序设计教学中,以达到提高计算机程序设计语言教学的实效性和增强学生学习兴趣和信心的目的。     

MACSV的CFC语言在程序升温设计中的应用

针对MACSV系统的控制器算法中缺少程序升温功能模块的情况,利用该系统的CFC语言开发了程序升温控制程序。其具有以下功能:(1)可实现多程序段的温度控制功能;(2)可实现程序升温和终点控温两种模式的任意切换;(3)可实现每个加热段的独立启停控制;(4)可进行升温程序段数的灵活调整;(5)对于已执行、执行中和未执行的程序段可区分显示。实践证明,该控制程序能稳定可靠的满足实验要求,操作简便,应用范围广泛。     

系统程序设计语言XCY的设计

本文简要介绍系统程序设计语言XCY的设计思想、设计原则、设计目标以及各有关成分的设计考虑,特别着重阐述数据结构、模块、路径等成分的设计。     

程序设计语言中的多态性

多态性以不同的形式存在于程序设计语言中，它增强了语言的表达能力。本文以Ｃ＾＋＋语言为例，就程序设计中的多态性这一概念从其存在的形式和实现的方法上作了较详细的阐述。