基于CCS模型的半智能回溯

本文提出了以逻辑式程序设计语言的与并行执行模型CCS为基础的半智能回溯方法,解决了分布式并行处理问题和通信问题,不仅提高了逻辑式程序设计语言的执行功效,又保证了语义的正确性与完备性。     

KLND编辑程序KE的设计与实现

KLND编辑程序是用作核心语言KLND的一个软件开发工具.它能在全屏幕正文编辑的方式下,对KLND语言源程序自动进行语法检查,并自动为KLND编译程序提供增殖编译单位.本文给出该编辑程序的设计思想、主要功能以及相应的实现技术.     

KLND编译程序的设计与实现

KLND编译程序是核心语言KLND的一个软件开发工具.它采用分别编译方法,实现了对KLND程序的分别编译,提供了增殖编译手段,有效地支持了KLND调试程序的实现.本文首先讨论实现中的主要问题和解决方法,然后给出KLND编译程序的设计思想和实现技术.     

JAPS中任务调度协议的设计与实现

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在以NOW基础的并行计算系统中,由于通信开销较大,一般需要发掘在任务层次上的并行性。相对数     

容错的网络声明式程序

介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.     

KLND调试程序的设计与实现

KLND调试程序是并行推理系统NDPIS程序设计环境中的一个软件开发工具.它采用以编译程序为基础,基指令系统提供调试类指令的实现方法,有效地提供在KLND级上动态地调试KLND程序的手段,具有友善的用户界面.本文讨论该调试程序实现中的主要问题及其解决办法,给出其设计思想,主要功能和有关实现技术.     

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

程序设计语言和系统是计算机领域的奠基性学科之一.近年来随着计算机系统的广泛应用,本领域的研究形成一波新的高潮,其中新的研究热点包括面向大数据、云计算、移动计算、软件定义网络、机器人等特定领域的领域专用程序设计语言和系统、基于程序设计语言的安全理论和技术、多核和众核下的并行程序设计语言和系统、程序分析和验证等. 为及时反映我国在程序设计语言和系统方面的研究进展,“程序设计语言和系统”专题围绕上述新兴热点问题,同时也兼顾经典问题的最新突破,征集本领域近期取得的原创性研究成果,以期促进本领域的发展.专题的征文范围包括（但并不限于）面向特定领域（大数据、云计算、移动计算、软件定义网络、机器人等）的领域专用语言和系统,基于程序设计语言的安全理论和技术,多核和众核下的并发和并行程序设计语言和系统,程序测试、分析和验证技术,编译器、解释器和抽象机,程序开发工具和环境,函数式、逻辑式、概率、量子等程序设计语言,以及程序语义、程序逻辑、类型论等程序设计语言理论.     

用于开发FP语言并行性的静态分析技术

具有并行执行的可能性常被作为函数式程序语言的优点。本文研究了程序变换、严格性分析等静态分析技术以开发FP语言的并行性。     

面向方面程序的静态语义研究

针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。     

形式语义学引论 操作语义学

1.引言(Introduction) 程序设计语言的实施者是按照语言的语义在具体的计算机系统中编制语言的解释程序或者编译程序的。但反过来看,语言在任何计算机系统中的任何一种实施一旦完成,那末对这个计算机系统而言,语言的含义也就完全确定了;也就是说,语言的一种实施可看作是语言语义的一种定义。用语言的实施作为语言的语义定义,也就是将语言成分所对应的计算机系统的操作作为语言成分的语义,故这种语义称作操作语义。当然语言的语义应该是标准的,不应依附于一个特定的计算机系统,一种具体的实施。因此操作语义学中使用抽象的机器和抽象的解释程序来定义语言的语义。     

并行推理系统NDPIS的设计

本文介绍一个以KLND为核心语言的并行推理系统NDPIS。它在新型计算机系统的核心语言、理论模型、计算组织结构、程序组织结构、机器资源组织结构以及具体实现技术方面进行了研究,提出了若干新思想和处理方法。     

程序设计语言的指称语义

本文是由D.Scott和C.Strachey所研究的程序设计语言语义理论的入门指导性读物。它论述了该理论在形式语言描述方面的应用,文章还介绍了该理论在其它方面的应用。本文考察的第一个语言LOOP是十分初级的,它的定义仅仅说明其途径的记号和方法论。然后把环境、存贮与后继等语义概念引入到程序设计语言特征的模型种类中。文章扼要地论述了Scott关于计算的基本数学理论。最后,本文给出语言GEDA-NKEN的形式定义。     

Verilog代数语义研究

给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的.研究了此代数语义的相对完备性,即参照前面的操作语义模型,相对于扩展Verilog语言的一个子集而言,此代数语义是完备的.即所有符合这样语法的程序,如果它们是互模拟等价的,那么它们同样可以在所提出的代数系统中被推导相等.在完备性证明过程中,采用范式方法,即构造一种语法上特殊的程序,任何属于上述子集中的一个程序通过该代数规则都能够被转化为范式程序,而且范式程序在操作语义模型下是互模拟的当且仅当它们是语法相同的.上述结果具有重要的理论意义,因为现有的进程代数理论主要是针对管道通信并行语言而展开的,而对于像Verilog这种以共享变量通信为基础的复杂并行语言研究还是比较少的,对此类复杂的基于共享变量的并行语言的进程代数理论研究提出了一种通用、有效的方法.     

基于轨迹的程序语义之一：轨迹与语义对象

本文提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正的程序设计语言.本文首先引入轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,其中没有使用含有函数空间构造运算的递归论域方程.     

基于CCS执行模型的逻辑式语言POLYLOG的设计与实现

本文解决了逻辑式程序设计语言中的二个问题:并行执行模型的选择、语言的执行功效与其使用方便灵活之间的权衡,我们提出了对Algorithm=Logic+Control的新理解, 设计并实现了新型逻辑式语言POLYLOG,在POLYLOG中,我们引进了元级控制的概念,CCS执行模型作为内部隐含的元级控制机制,关系类型作为外部显式的元级控制设施,程序的并行性分析在编译阶段完成。     

一个并行计算支持环境的设计与实现*

介绍了一个并行计算的支撑环境PCSE（parallel computation supporting environment）.通过引入FORK与JOIN原语,使得无论是使用过程程序设计语言,还是使用逻辑程序设计语言编写的用户源程序都能在本系统上并行执行,从而为用户进行高速计算提供了一个很好的软件基础.目前,PCSE支持FORTRAN,C以及PROLOG应用程序的并行执行.     

Verilog语言形式化语义研究

在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征.     

一种意向驱动式面向agent程序设计语言

提出了一种意向驱动式面向agent程序设计语言--AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等agent心智成分的处理,使用信念修正原语处理通信交互以及事件响应等外因行动,并采用了一种新颖的离线规划和在线执行相结合的运行方式,从而解决了GOLOG语言在应用于面向agent程序设计时不能有效地描述处理agent心智状态,无法处理外因行动等问题.给出了AOPLID语言语法结构,基于OSC的AOPLID程序语义以及AOPLID程序实例.     

动态模糊逻辑程序设计语言的指称语义

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.     

基于OpenTM的并行程序设计

OpenTM在OpenMP的基础上引入事务的语法和语义,为事务存储程序设计提供了基于指导命令的程序设计接口.本文选取标准并行基准测试程序NPB中的应用程序LU作为例子,利用事务存储的投机并行执行能力和OpenTM接口实现了流水算法的并行.实验表明,OpenTM程序设计简单,避免了使用锁模式的复杂性,能够在科学计算领域发挥重大作用.