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

西安电子科技大学学报 2008年第6期35卷 1069-1074页

作者：王小兵段振华西安电子科技大学计算理论与技术研究所

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子... 详细信息

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的.

关键词：形式语言时序逻辑程序设计数据结构程序设计语言

来源：评论

学校读者我要写书评

暂无评论

程序设计语言的抽象与语言族模型

引用

北京大学学报（自然科学版） 1997年第5期33卷 650-657页

作者：张乃孝郑红军北京大学数学科学院信息科学系北京大学计算机科学技术系

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这３种关系下构成的语言族模型。

关键词：程序设计语言语言抽象语言族模型

来源：评论

学校读者我要写书评

暂无评论

程序设计语言与系统前沿专题前言

引用

软件学报 2017年第4期28卷 745-746页

作者：冯新宇陈海波中国科学技术大学计算机科学与技术学院安徽合肥230027 中国科学技术大学苏州研究院江苏苏州215123 上海交通大学软件学院上海200240

程序设计语言和系统是计算机领域的奠基性学科之一.近年来,随着计算机系统的广泛应用,本领域的研究形成一波新的高潮,其中,新的研究热点包括面向大数据、云计算、移动计算、软件定义网络、机器人等特定领域的领域专用程序设计语言和系... 详细信息

程序设计语言和系统是计算机领域的奠基性学科之一.近年来,随着计算机系统的广泛应用,本领域的研究形成一波新的高潮,其中,新的研究热点包括面向大数据、云计算、移动计算、软件定义网络、机器人等特定领域的领域专用程序设计语言和系统、基于程序设计语言的安全理论和技术、

关键词：程序设计语言计算机系统计算机领域专题移动计算软件定义安全理论机器人

来源：评论

学校读者我要写书评

暂无评论

程序设计语言的类型结构剖析

引用

计算机工程与应用 2002年第8期38卷 113-115,131页

作者：王志喜陈建生谭青松湘潭工学院计算机系湘潭411201

程序设计语言原理是计算机科学中的一个非常重要的领域,而程序设计语言的类型结构又是该领域中的一个非常重要的专题。文章结合当今广泛使用的C语言对程序设计语言的类型结构进行了深入的剖析,内容包括:内部非结构类型、枚举类型、有限... 详细信息

程序设计语言原理是计算机科学中的一个非常重要的领域,而程序设计语言的类型结构又是该领域中的一个非常重要的专题。文章结合当今广泛使用的C语言对程序设计语言的类型结构进行了深入的剖析,内容包括:内部非结构类型、枚举类型、有限映像(数组)、迪卡尔积(结构体)、判定或(共用体)、序列(串和文件)、指针等,并且适当地进行了举例说明。

关键词：数据类型类型结构笛卡尔积有限映象程序设计语言

来源：评论

学校读者我要写书评

暂无评论

支持对象间关系的程序设计语言研究

引用

软件学报 2000年第5期11卷 679-685页

作者：万建成张曙明山东工业大学计算机科学技术系济南250061

在论述了面向对象技术中对象间的关系作为第一级建模概念的重要性之后 ,该文设计并实现了显式支持对象间关系的 RCPP( relational C++)语言 .它提供了显式描述对象间关系特性和语义的机制 ,利用关系来动态地控制对象行为的作用和传播 .... 详细信息

在论述了面向对象技术中对象间的关系作为第一级建模概念的重要性之后 ,该文设计并实现了显式支持对象间关系的 RCPP( relational C++)语言 .它提供了显式描述对象间关系特性和语义的机制 ,利用关系来动态地控制对象行为的作用和传播 .它的运行是通过一个转换器把 RCPP代码翻译成 C++代码 ,再经 C++环境编译后 ,形成可执行程序而实现的 .文章对 RCPP语言的模型。

关键词：面向对象对象间关系程序设计语言

来源：评论

学校读者我要写书评

暂无评论

程序设计语言类课程的教学思路研究

引用

高等工程教育研究 2001年第1期49卷 79-81页

作者：沈军东南大学计算机系

本文分析了目前程序设计语言类课程教学中存在的一些问题,并对产生的原因作深层次的解析,在此基础上提出了程序设计语言类课程的全新教学思路.

关键词：计算机基础教育程序设计语言程序设计课程教学

来源：评论

学校读者我要写书评

暂无评论

程序设计语言作用域规则及其发展

引用

计算机工程与设计 1990年第5期11卷 10-18页

作者：徐宝文南京航空学院

本文讨论了作用域规则的演变及其发展,从两种角度对之进行了分类,指出了现有语言作用域规则存在的问题并讨论了解决方法。

关键词：程序设计语言作用或规则

来源：评论

学校读者我要写书评

暂无评论

程序设计语言的代数描述

引用

微型计算机 1989年第2期9卷 1-7页

作者：叶晓峰郑国梁

来源：评论

学校读者我要写书评

暂无评论

元数学与程序设计语言

引用

小型微型计算机系统 1999年第9期20卷 717-720页

作者：王玲唐立中沈清南京林业大学计算机室南京210037 东南大学计算机系南京210096 南京电力自动化设备厂南京210003

元数学的思维方式及方法，预示了程序设计语言规范及发展的道路，且为其指明了方向．

关键词：元数学程序设计语言形式化思维方法

来源：评论

学校读者我要写书评

暂无评论

程序设计语言中的继续：理论和实践

程序设计语言中的继续：理论和实践

引用

作者：喻钢中国科学院软件研究所

学位级别：博士

继续表示程序在某个执行状态下的剩余计算抽象。继续在计算机科学的各个分支中都有重要的应用。本文讨论继续在程序设计语言中的理论与应用。　　继续传递风格(CPS)变换是表达λ演算和函数式程序设计语言语义的重要手段。作为活性语言... 详细信息

继续表示程序在某个执行状态下的剩余计算抽象。继续在计算机科学的各个分支中都有重要的应用。本文讨论继续在程序设计语言中的理论与应用。　　继续传递风格(CPS)变换是表达λ演算和函数式程序设计语言语义的重要手段。作为活性语言基础的传值调用策略CPS变换已经被广泛研究。而惰性语言采用的传名调用策略CPS变换研究则稍显不足。本文在理论基础方面着重讨论常数传名调用语言的CPS变换理论。　　在区分常数语言中，本文给出传名调用求值上下文及在此基础上的项和求值上下文的CPS变换，证明了Plotkin的模拟定理。在证明过程中，本文提出了两种证明思路。本文对两种证明思路进行对比，也和相关工作进行了比较。在一般常数语言的CPS变换讨论中，本文针对一般常数的动态归约特征提出了二值传递变换思想，并在此基础上给出了CPS变换闭语言。相比Plotkin的工作：本文提出的二值传递CPS变换表达更简洁、CPS语言是归约闭语言、归约过程中产生的额外归约更少、且是完全风格的CPS变换。本文也纵向比较了区分常数语言和一般常数语言在求值归约以及CPS模拟方面的区别。　　继续在函数式程序设计语言中已经得到广泛的实现和应用。函数式语言的继续操作符由特定的系统基本操作符提供。主流面向对象语言并不提供这些控制操作符，仅仅提供基本的异常处理操作符try/catch/throw等。如何在主流面向对象语言上运用异常处理技术实现系统抽象控制栈的保存和重载，即，如何实现继续对象，成为重要的应用研究问题。本文在实践方面着重讨论面向对象语言的控制栈获取和编程技术。　　函数式程序设计语言的A范式被证明是CPS变换在编译优化过程中的重要产物，是函数式应用程序的线性控制范式。本文分析并给出了命令式语言对应的线性控制范式：程序的切片A范式(FANF)。首先，讨论了南程序的优化CPS表示到FANF的变换过程。定义基本的优化CPS表示语言，给出求值语义，给出由优化CPS语言到FANF的变换步骤，最后形式给出切片A范式文法。由于作为变换源语言的优化CPS语言无法建模主流语言的变量赋值副作用，本文又讨论了直接从命令式语言出发获取FANF的办法。建模一个模拟Java的小命令式语言，给出变换步骤，并最终给出目标FANFo本文也分析讨论了两种方法获取FANF的异同。　　在FANF程序之上，本文给出了添加异常处理模块和继续帧定义获取程序继续对象的方法。本文归纳能应用此方法得到程序继续的语言公共特征，给出抽象的、一般的系统类设计。本文也讨论了具体语言实现继续的特殊技术以及异常处理技术获取程序继续在程序尾递归优化中的作用。　　本文最后讨论了面向对象语言的高阶控制编程技术。在获得FANF程序后，可以在程序系统栈上添加基础设施来实现程序的高阶控制编程。本文实现了高阶控制操作符run和fcontrol的标志控制系统。将同边树判定问题作为无标记标志控制系统的具体应用实例。本文也将标志控制系统扩展到带标记版本，并实现了一个多级的线程轮询调度器。实践证明，在获得FANF程序后，主流面向对象语言也可以和函数式程序设计语言一样应用高阶控制编程。

关键词：程序设计语言继续表示程序继续传递风格函数式语言高阶控制编程

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：