Prolog语言与Gödel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与Gdel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与G6del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点，它可以有效地实现程序自解释自调节功能．研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义，Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能．本通过对这两种语言中的元程序设计方法进行研究．讨论了基本表示与非基本表示的主要特点和实现机制，具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现.     

基于G(o)del配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序G(o)del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G(o)del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用G(o)del配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标.     

可视化语言及其核心技术

可视化语言是起步不久的编程语言 ,目前已成为程序设计语言的主流 ,代表了程序设计语言的最新发展。它的技术成份非常丰富 ,给程序设计人员的学习造成了一定的难度。在综合研究多种流行的典型可视化语言基础上 ,从体系上归纳出了可视化语言采用的一些核心技术 ,重点阐述了可视化语言使用 OOP( Object- Oriented Programming)成份及可视化实现、OLE、多媒体、数据库和软构件等技术的方法和原理 ,以期从总体上把握可视化语言的技术特点和体系结构。     

元程序设计环境的自动生成技术实现

针对因目标程序和元程序的复杂性而导致元程序设计环境的构造过程十分复杂的问题,将面向对象的方法应用于元程序设计环境的自动生成技术,并以此为基础,实现了一个支持多种环境语言(实现元程序的语言)的元程序设计环境自动生成系统--O_MPS.实验结果表明,该系统可以根据用户提供的说明自动生成元程序设计环境,O_MPS生成的元程序设计环境包含丰富的元级操作,支持中间表示和元级操作的同时扩展,为灵活高效地进行元程序设计提供了支持.     

浅谈C语言及程序设计语言教学

本文分析了C语言程序设计课程的特点,并对课程教学中存在的问题进行分析总结,提出了在C语言的教学中首先注重程序设计能力的培养,其次才是C语言的语法。通过在教学中使用“寻宝人”程序框架培养程序设计思想,适当取舍部分复杂难懂语法,使用在线判题系统进行实验考核,使学生在《C语言程序设计》课程的学习中不仅掌握了C语言的相关内容,更是建立起了程序设计的思维方式。     

基于Gdel配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。     

C语言程序设计课题分析

C语言中的结构体数据类型具有足够的灵活性，可以通过基本类型来表示各种各样所需要的数据。以栈程序设计课题为例，对C语言程序设计的抽象的数据类型方法进行了具体分析。     

BASIC和FORTRAN语言混合编程方法

用Prolog.C,汇编等语言对Quick BASIC和FORTRAN之间的混合编程问题进行了探讨.用Prolog和C语言设计了自动搜索程序Autol和Auto2,解决了FORTRAN和BASIC语言之间各种类型参数的自动传送问题.用MS-DOS的Link程序将两种语言的目标文件连接成一可执行文件,形成了一个集成混合语言开发环境,并完善成为一混合编程软件(MLD).该软件可在普通PC机及其兼容机上运行.