教学课程资源库 更多>>

关键词： 属性文法   程序设计语言   编译程序   作用域  

摘要： 本文介绍属性文法及其在编译结构中的应用。属性文法是描述程序设计语言语义特性的合适工具。GAG系统是建立在属性文法基础上的编译生成系统。本文先扼要介绍属性文法、GAG系统以及GAG的输入语言ALADIN.然后使用ALADIN语言给出程序设计语言的作用域规则、类型和类型检查、运算符超载等语义特性的形式说明的方法。本文最后列举在VAX/VMS下生成词法分析程序、语法分析程序、编译程序以及运行编译程序的操作系统命令。

关键词： 软件   领域   计算机   程序员   程序设计语言   心理学  

摘要： 没有经过正式的数学、工程或计算机科学训练的计算机用户与日俱增,所以人机交互问题的研究已成为关键.本文主要综述软件心理学(即研究计算机系统中人的因素)的现状.打算选择软件心理学的一个领域,即程序设计心理学来深入讨论一些研究成果.之所以选中这一领域,是因为约稿刊物的读者感兴趣.接着讨论在进行软件心理学实验研究时所涉及的一些方法论问题.还讨论了本文综述的程序设计研究与整个软件心理学领域的未来动向.结论指出,多学科训练与研究是该领域进一步发展的关键.

关键词： BASIC语言   数据处理   程序设计语言  

标准号: DIN 66284-1988

摘要： This standard defines a minimal size of the programming language BASIC. Its purpose is to facilitate portability of BASIC programs between data processing systems. BASIC (beginner's all-purpose symbolic instruction code) is a language conceived for education in informatics and for implementation on personal computers with a restricted work storage.

关键词： 代办   定义   嵌套   外交人员   Joyce   分布式程序设计语言  

摘要： 本文介绍一种分布式程序设计语言Joyce。这种语言是*** Hansen于1986年设计出来的。Joyce是在csp语言模型的基础上,吸收了Pascal语言的优点为分布式系统的程序设计语言做了成功地尝试。*** Hansen称Joyce为安全(secure)的程序设计语言。 Joyce提供了嵌套定义代办过程(agent procedure)的功能;允许动态地激活任意多个代办过程;一个代办过程可以动态地创建子代办过程(subagent procedure),创建后的子代办过程能与其创建者并发地执行;代办过程之间利用通道变量进行消息通信;一个通道能在两个或更多的代办过程之间传递不同类型的消息;编译程序能检查消息的类型以确保代办过程使用的只是不相交变量的集合。Joyce发展了csp语言。

关键词： 直觉主义逻辑   程序设计逻辑   verification   程序设计语言   布劳维尔   直觉主义数学   实无穷   数学基础   分支类型论   简单类型论  

摘要： 本文介绍了直觉主义的基本思想、直觉主义逻辑、类型理论和直觉主义类型理论,在此基础上讨论了直觉主义类型理论作为规范语言(Specification Language)、作为程序设计语言、作为程序设计逻辑等各个方面,从而体现了直觉主义类型理论对软件形式化开发中规范(Specification)、构造(construction)和验证(verification)一体化的支持。我们相信,以类型理论作为基础的开发途径将会以其特有的风格吸引广大软件工作者。

关键词： 汇编语言   高级语言   程序设计语言   编译程序   程序语言   编译器   实时应用   控制系统   实时系统   FORTH   语言系统  

摘要： FORTH语言是以一种独特风格建立计算环境的计算机高级语言,它融合了计算机语言、操作系统、正文编辑、监控程序和汇编程序等五种系统于一体,形成一个完整的计算机系统。该语言既是一种高级语言,同时也具有汇编语言的某些优点,是一种崭新的软件设计工具。本文从实时应用的角度,分析介绍了FORTH语言的一些实时特色,并对FORTH在系统开发中的作用作了探讨。

关键词： LISP   结构设计   钢板梁   计算机辅助设计   计算机辅助技术   专家系统   CAD   程序设计语言   翼板   计算机程序   产生式规则  

摘要： 介绍了一个基于知识的专家系统SSPG。这个系统使用了LISP程序设计语言,用于加劲钢板梁的设计。SSPG利用了先前获得的关于跨度同腹板高度的最优比值的知识,能够做出实用的最小重量设计,不必进行很花钱的正规优化计算。这项研究工作表明,在既需要人的主观知识和启发性知识,又需要大量数值计算的情况下,利用LISP语言进行结构计算机辅助设计是很有效的。

关键词： 消息传递   CSP   语句   进程   远程过程调用   程序设计语言  

摘要： 本文扼要介绍了几个著名的基于消息传递的程序设计语言(如CSP, PLITS, Ada, SR, DP和MOD等)的主要特点,并简单讨论了并发程序设计语言的分类模型。

关键词： 函数程序   逻辑程序   函数逻辑程序   程序系统   △-PRQLOG   FFP系统  

摘要： LM是一种对于FAIR-LILY语言作了一定扩展的函数/逻辑程序设计语言.本文旨在探讨LM语言的应用,表明该语言所具的函数与逻辑两种编程风格的协调、和谐及雅洁.文中用LM语言编写了Δ-PROLOG语言的解释程序,从而,Δ-PROLOG得以在FFP系统上实现.

关键词： 零件展开图   命令   ICPL   绘图机   测绘仪器   锥台   二元二次方程组   程序设计语言   基本图形   图形输入板   绘图板   CV  

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