检索结果-内蒙古大学图书馆

计算机应用研究 2011年第8期28卷 3007-3009页

作者：刘一松李倩倩江苏大学计算机科学与通信工程学院江苏镇江212013

提出了一种基于流演算的最优规划程序设计语言OPPLFC(optimal planning programming language basedon fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,利用最优规划算子实现最优规划。OPPLFC的最优规划... 详细信息

提出了一种基于流演算的最优规划程序设计语言OPPLFC(optimal planning programming language basedon fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,利用最优规划算子实现最优规划。OPPLFC的最优规划算子是通过引入强化学习报酬函数的多次离线执行。当与前一次离线执行所得的报酬相比较,值小则所得的动作序列为当前最优规划。给出了OPPLFC语言的组成、程序语义及其实现。最后,通过实例验证了OPPLFC语言的可行性。

关键词：流演算流演算执行器报酬函数最优规划算子程序设计语言

来源：评论

学校读者我要写书评

暂无评论

程序设计语言ENC的设计与实现

引用

小型微型计算机系统 1988年第7期 1-6页

作者：郭福顺李志刚哈尔滨工业大学

ENC是C语言的扩充。C语言是通用的程序设计语言,是当今世界上最有影响的程序设计语言之一。众所周知,著名的UNIX操作系统就是用C编写的。C语言本身的优点是不容怀疑的,但是,C语言用于结构程序设计的设施,到目前为止还是相当有限的。为... 详细信息

ENC是C语言的扩充。C语言是通用的程序设计语言,是当今世界上最有影响的程序设计语言之一。众所周知,著名的UNIX操作系统就是用C编写的。C语言本身的优点是不容怀疑的,但是,C语言用于结构程序设计的设施,到目前为止还是相当有限的。为弥补这个不足,我们把构造抽象数据类型的设施,称为Cluster,扩充C语言中,形成程序设计语言ENC,并在MICRO VAX-Ⅱ机上将其实现。本文就是介绍ENC的设计与实现。

关键词：抽象数据定义标准库语法文法 ENC 程序设计语言数据抽象

来源：评论

学校读者我要写书评

暂无评论

面向对象程序设计语言要览

引用

微电子学与计算机 1991年第2期8卷 10-14页

作者：章远阳北京大学计算机系

面向对象程序设计语言(OOPL)不仅用于构造面向对象系统,还可以作为探索面向对象理论的工具,而这又丰富了OOPL 的内涵.本文将目前主要的OOPL 分成四大类:早期OOPL、Smalltalk、混合风格OOPL、并发OOPL,并概括介绍了某些典型。最后,讨论了... 详细信息

面向对象程序设计语言(OOPL)不仅用于构造面向对象系统,还可以作为探索面向对象理论的工具,而这又丰富了OOPL 的内涵.本文将目前主要的OOPL 分成四大类:早期OOPL、Smalltalk、混合风格OOPL、并发OOPL,并概括介绍了某些典型。最后,讨论了OOPL 今后的发展方向,试图从总体上反映OOPL 当前的研究状况.

关键词：面向对象程序设计语言 Ada语言继承机制 Lisp语言计算机

来源：评论

学校读者我要写书评

暂无评论

函数程序设计语言Lispkit Lisp的自编译实现

引用

计算机工程与设计 1989年第4期10卷 13-21页

作者：廖湖声北京计算机学院

本文介绍了函数程序设计语言Lispkit Lisp的一个自编译系统的实现。这个编译系统能够处理高阶函数,并且允许使用部分参数化方法进行程序设计。函数程序中的所有函数被编译成SECD机的指令序列以完成函数的求值。SECD机指令被变换成相应的... 详细信息

本文介绍了函数程序设计语言Lispkit Lisp的一个自编译系统的实现。这个编译系统能够处理高阶函数,并且允许使用部分参数化方法进行程序设计。函数程序中的所有函数被编译成SECD机的指令序列以完成函数的求值。SECD机指令被变换成相应的MC68000的目标代码。系统中采用预调整技术。实现了一种特殊的延迟求值方式:减轻了程序执行对内存空间的需求,并优化了程序的执行过程。

关键词：程序设计语言 LISP语言自编译语言

来源：评论

学校读者我要写书评

暂无评论

基于抽象数据类型的程序设计语言的设计

引用

计算机应用研究 1991年第1期8卷 2-5页

作者：钟珞武汉工业大学

本文以实际设计出一种小型程序设计语言的过程,给出了一种基于抽象数据类型设计程序设计语言的方法。该种方法首先确定一种抽象数据类型,并将各种语句视为抽象数据类型上的操作,再利用一种简单的操作语义函数确定各语句成份的含义,以得... 详细信息

本文以实际设计出一种小型程序设计语言的过程,给出了一种基于抽象数据类型设计程序设计语言的方法。该种方法首先确定一种抽象数据类型,并将各种语句视为抽象数据类型上的操作,再利用一种简单的操作语义函数确定各语句成份的含义,以得到程序设计语言。

关键词：程序设计语言抽象数据设计

来源：评论

学校读者我要写书评

暂无评论

程序设计语言校场大点兵——独树一帜，Delphi平台

引用

计算机应用文摘 2004年第5期20卷 i023-i027页

作者：高博

程序设计的平台并非一开始就像今天这样，任何人都可以在集成开发环境中非常舒服地工作：输入程序代码。然后在同一个环境中进行编译。如果编译通不过，马上有调试器可以使用，你可以单步运行，或是实时地查看某个变量的值，或是随时调... 详细信息

程序设计的平台并非一开始就像今天这样，任何人都可以在集成开发环境中非常舒服地工作：输入程序代码。然后在同一个环境中进行编译。如果编译通不过，马上有调试器可以使用，你可以单步运行，或是实时地查看某个变量的值，或是随时调出堆栈轨迹……

关键词：程序设计语言 Delphi平台程序代码 Pascal语言程序设计计算机

来源：评论

学校读者我要写书评

暂无评论

程序设计语言分层递进式教学的实践

引用

计算机时代 2019年第1期 90-93,98页

作者：臧劲松上海理工大学光电信息与计算机工程学院上海200093

目前的程序设计课程教学理论讲授多,实践少,课堂教学存在"一刀切"现象,针对此类问题,文章探讨了以能力培养为目的,分层递进式的课堂教学方式。通过目标分层设定、课堂上的分层教学、差异化辅导、作业练习的分档、多层次的考... 详细信息

目前的程序设计课程教学理论讲授多,实践少,课堂教学存在"一刀切"现象,针对此类问题,文章探讨了以能力培养为目的,分层递进式的课堂教学方式。通过目标分层设定、课堂上的分层教学、差异化辅导、作业练习的分档、多层次的考查和评价等多种方法,拓展学生的学习能力,使不同程度学生都能得到"最优发展",全面提升学生的创新能力。

关键词：分层实践教学程序设计语言主体性原则

来源：评论

学校读者我要写书评

暂无评论

程序设计语言的形式语义研究进展

引用

上海电机学院学报 2007年第3期10卷 204-209页

作者：计春雷上海电机学院电子信息学院上海200240

程序设计语言形式语义描述方法的产生与发展,对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及协议形式化描述、分析验证与设计等都有着重要的意义。回顾形式语义描述方法的研究发展史,介绍当前主要的语义形式描述方法... 详细信息

程序设计语言形式语义描述方法的产生与发展,对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及协议形式化描述、分析验证与设计等都有着重要的意义。回顾形式语义描述方法的研究发展史,介绍当前主要的语义形式描述方法,并给出这些方法的评价标准和比较结果;指出最有发展潜力的语义描述方法以及将来的发展方向。

关键词：形式语义程序设计语言描述方法发展

来源：评论

学校读者我要写书评

暂无评论

模块化程序设计语言的一种简单的自动重新编译技术

引用

软件 1990年第2期11卷 143-157页

作者： Olss.,RA 石林立

来源：评论

学校读者我要写书评

暂无评论

并发C程序设计语言

引用

微型计算机 1990年第4期10卷 30-35页

作者：麦中凡何玉洁

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：