期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
过程式语言的动态部分求值技术 被引量:2
1
作者 刘磊 郑红军 金成植 《吉林大学自然科学学报》 CAS CSCD 1995年第3期35-39,共5页
提出了一种应用于过程式语言的动态部分求值技术,并实现了一个类如PASCAL语言的部分求值器。
关键词 部分求值 过程式语言 源程序 PASCAL语言
在线阅读 下载PDF
过程式语言部分求值循环展开的有效处理方法 被引量:1
2
作者 赵东范 刘磊 宋力彤 《计算机研究与发展》 EI CSCD 北大核心 2000年第1期102-108,共7页
文中基于数据流分析(DFA)技术,通过引进循环中变量之间的相互依赖关系,提出一种过程式语言部分求值的处理方法.
关键词 程序分析 部分求值 过程式语言 循环展开
在线阅读 下载PDF
过程式语言到函数式语言的抽象方法 被引量:1
3
作者 金成植 刘磊 《计算机学报》 EI CSCD 北大核心 1997年第8期731-736,共6页
本文给出了从过程式程序到函数式程序的转换规则,这些转换规则是从语言的接续指称语义推导出来的.我们考虑了GOTO语句的处理,因此,我们的方法可以处理非结构化程序.由于这些转换规则是从指称语义导出的,其正确性得到了保证.
关键词 过程式语言 函数式语言 目录代码
在线阅读 下载PDF
嵌套型过程式语言的过程提升技术
4
作者 刘磊 粱建华 金成植 《小型微型计算机系统》 EI CSCD 北大核心 1995年第12期12-17,共6页
嵌套型过程式语言的过程提升对于程序变换和提高程序目标代码的效率等方面有着重要的意义。本文提出了一种基于字符串的过程提升技术,该技术的特点是占用空间小,转换速度快,从而使在具体系统中由于空间原因不可能的成为完全可能。我... 嵌套型过程式语言的过程提升对于程序变换和提高程序目标代码的效率等方面有着重要的意义。本文提出了一种基于字符串的过程提升技术,该技术的特点是占用空间小,转换速度快,从而使在具体系统中由于空间原因不可能的成为完全可能。我们在微机建立了一个过程提升系统。 展开更多
关键词 过程提升 嵌套型 过程式语言 程序语言
在线阅读 下载PDF
从like-LAMBDA抽象语言到like-PASCAL过程式语言的转换技术
5
作者 金成植 柴玉梅 《计算机学报》 EI CSCD 北大核心 1992年第11期856-864,共9页
本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.
关键词 抽象语言 过程式语言 转换技术
在线阅读 下载PDF
过程式语言中递归的消除
6
作者 郭德贵 陈慧 《延边大学学报(自然科学版)》 CAS 2001年第4期271-273,共3页
尾递归化是程序分析中的一个基本方法 ,通过对过程式语言中递归函数尾递归化几个特殊方法的比较分析 。
关键词 递归 尾递归 Cooper函数 过程式语言
在线阅读 下载PDF
应用ANTLR实现过程式语言操作语义的动态演示
7
作者 王丽娜 郑晓娟 王征海 《计算机应用与软件》 CSCD 2010年第2期209-211,257,共4页
介绍了一个面向过程语言的文法特点,应用ANTLR实现了该语言操作语义的动态演示,系统可辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境,从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。
关键词 过程式语言 ANTLR 操作语义 动态演示系统
在线阅读 下载PDF
过程式语言操作语义教学演示系统的设计与实现
8
作者 王丽娜 郑晓娟 王征海 《计算机应用与软件》 CSCD 2010年第7期187-189,232,共4页
定义一个面向过程的程序设计语言,并实现了该语言操作语义的可视化演示。系统提供单步执行、连续执行两种执行方式,显示了操作语义的每一步执行。系统可以应用于教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良... 定义一个面向过程的程序设计语言,并实现了该语言操作语义的可视化演示。系统提供单步执行、连续执行两种执行方式,显示了操作语义的每一步执行。系统可以应用于教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境。 展开更多
关键词 过程式语言 操作语义 可视化演示系统
在线阅读 下载PDF
Prolog语言的过程式编程问题
9
作者 吕光楣 刘育刚 《应用科技》 CAS 1995年第4期19-23,共5页
本文以对比的方法介绍了如何用陈述式语言Prolog解决过程式结构的各种程序设计问题,其中包括过程式语言Pascal的过程、CASE结构、循环结构和嵌套结构等情况.同时对这两类程序语言在解决上述各种问题时的优缺点进行了比较.
关键词 程序设计 陈述式语言 过程式语言
在线阅读 下载PDF
面向对象编程基本思想 被引量:3
10
作者 吴华 《山西煤炭管理干部学院学报》 2002年第3期67-68,70,共3页
面向对象程序设计方法比传统的过程式程序设计有很多优势。在 90年代 ,面向对象编程方法已成为主流 ,C + +、Java等著名的面向对象程序设计语言得到了非常广泛的应用。笔者在教学中体会到 ,如果先介绍一些面向对象编程的基本思想 ,可以... 面向对象程序设计方法比传统的过程式程序设计有很多优势。在 90年代 ,面向对象编程方法已成为主流 ,C + +、Java等著名的面向对象程序设计语言得到了非常广泛的应用。笔者在教学中体会到 ,如果先介绍一些面向对象编程的基本思想 ,可以使学生更好地掌握这类编程语言。 展开更多
关键词 面向对象编程 程序设计 继承 设计方法 编程语言 过程式语言
在线阅读 下载PDF
怎样学习和掌握“人工智能”技术
11
作者 曹晓东 《航海教育研究》 1995年第1期16-18,共3页
本文总结了作者多年来讲授“人工智能”的经验,提出了学习和掌握“人工智能”技术的方法和技巧。
关键词 人工智能 过程式语言 计算机辅助 陈述式语言 启发式搜索 专家系统 知识表示技术 推理技术 近期目标 问题求解
在线阅读 下载PDF
基于时迹的指称语义方法
12
作者 华凡 王岩冰 《山东师范大学学报(自然科学版)》 CAS 1999年第4期448-450,共3页
采用基于时迹的双层指称语义框架讨论过程式语言的形式语义。
关键词 时迹 指标语义法 过程式语言 形式语义
在线阅读 下载PDF
Content Creation and Production Choice: Film, Television and Related Production Enterprises
13
作者 Michael B. Hoggan 《Journalism and Mass Communication》 2017年第5期249-258,共10页
The main purpose of this paper looks to examine notable inconsistencies in language and practice between production practices in film, television, Internet and related production models. The disconnect between actual ... The main purpose of this paper looks to examine notable inconsistencies in language and practice between production practices in film, television, Internet and related production models. The disconnect between actual production practices and how they are describedis notably affected by advances in technology. Furthermore, practitioners insider language usage, and a lack of understanding between process verses exhibition contributes to the divide within theory and practice of these models. By inspecting how traditional entertainment content is physically produced, making comparisons with the most common production models, the realms of production practices and terminology bring clarity and consistency. The language distinction illuminates any production process and is certainly critical for the producer responsible for putting together an experienced crew to shoot the project and vice versa concerning anyone looking for a job in those communities. Content creation for public consumption is expensive to produce, thus requires experienced people who must perform specific tasks on time and on budget, achieving entertainment goals and bringing in a profitable return. Understanding this information about production models is vital to the student or anyone preparing to be a part of the entertainment community. 展开更多
关键词 film production television production single camera production Intemet production
在线阅读 下载PDF
其它软件技术
14
《电子科技文摘》 2000年第4期111-112,共2页
Y2000-62082-327
关键词 软件技术 多媒体 系统设计研究 存储器组织 计算机研究 部分求值 软件工程化 过程式语言 可视化 软件可靠性
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部