γω演算——一种高级合成逻辑

本文创建了γω演算,它在语言层次方面远高于curry合成逻辑(简称C逻辑),但在理论上依然奠基在C逻辑之上.这是一种高级的合成逻辑,它不失C逻辑的简洁性,更重要的,它可直接地用作编程语言,或者间接地用作各种各样“带糖衣”的函数编程语言、作用式编程语言和归约编程语言的语义理论基础.文中论述了γω演算的理论及其与C逻辑的内在联系.     

函数式程序设计语言的一种功能性语义模型

本文形式地塑造了函数式程序设计(FP)语言的一种功能性(operational)语义模型∑。它是一种二联体:∑=(Ω_A(A,P,Γ,I′,Z′)×Π(B,P,Γ,I′,Z′)×Ω_D(A∪D,P,Γ,I′,Z′)× W(F,R,G,J′,Y′),M),该二联体的前项是称之为状态集的一有限集,后项称为运控自动机。Ω_A(A,P,Γ,I′,Z′)、Π(B,P,Γ,I′,Z′)、Ω_D(A∪D,P,Γ,I′,Z′)、W(F,R,G,J′,Y′)分别是地址空间A上的对象树集、地址空间B上的对象林集、地址空间A∪D上的对象林集、地址空间F上的函数森集。它们相应地为下列各FP语言成分造了型:对象、对象参数、作用过程中作为工作量的对象和归约成的中间结果对象、诸函数(诸定义函数及直接作用于对象的函数)。运控自动机M以状态中函数森这一分量来对状态中对象树那一分量进行对象树的结构变换和对(对象树的)各树叶施行相应的种种运算。“一个具体的FP程序作用于一个具体的对象”这一计算,功能地可塑造成带初始状态(Ω_A~(o),Π~(o),Ω_D~(o),W~(o))的语义模型∑~(o)=(Ω_A(A,P,Γ,I′,Z′)×Π(B,P,Γ,I′,Z′)× Ω_D(A∪D,P,Γ,I′,Z′)× W(F,R,G,J′,Y′),M,(Ω_A~(o),Π~(o),Ω_D~(o),W~(o))),其中则Ω_A~(o)=Ω_D~(o)。 根据FP语言的功能性语义模型,可设计“实现FP语言的多微处理器复合体”的     

γω演算的语义学

继文献[1]建立了γω演算之后,本文探讨γω演算的语义学与抽象机.这里的语义学不同于传统的指称语义学、操作语义学和公理语义学;它是非传统的,属于代数语义学的领域.     

函数式逻辑语言的操作语义

函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相反,基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质.从这个角度出发,把函数和逻辑程序设计语言结合成一种范型是很自然的,这种结合提供了一种比逻辑和函数语言表达能力更强的合一语言.提出了函数式逻辑语言的操作语义,同时表明这种操作语义在实践中是可见的.     

形式语义学的正确运用

文中就程序设计语言语义学方面近来的工作作了建设性批评。这一批评着重针对现有技术和成果的运用,而不是这些技术和成果本身。主要问题在于,指称(denotational)语义学大体上起着一种消极的(描述性的)作用,而操作(operational)语义学却基本上起着一种积极的(规定性的)作用。作者建议应该把两者所起的作用颠倒过来。     

Visual C#中委托特性的原理及应用

委托Delegate是C＃语言一项非常重要的特性,它相当于C或C＋＋语言中的指针并且是类型安全的。它主要应用于回调函数和事件处理，它用于异处理中，它是一种参考类型，由基类System.Delegate派生。本文就它的主要概念和应用进行了论述与探讨。     

通信的顺序进程及其研究

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。     

命令式模糊程序语言的语义

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.     

函数／逻辑程序设计语言RFUNILOG

本文提出了一种兼备函数／逻辑功能的程序设计语言ＲＦＵＮＬＯＧ。它不仅具有统一的语法形式和丰富的语言设施，而且有统一的操作语义，整个语言可以用图归约的概念来解释。     

并行系统与并发程序设计语言的形式语义

语义学的研究目前活跃在二个领域中,一个是代数语义学,另一个是并发程序设计语言的各种形式语义的定义,本文主要介绍并发程序设计语言形式语义的基础,尤其是幂域理论、指称语义、操作语义、以及并发类型理论问题的讨论。     

DDFP语言的归约机实现技术

ＤＤＦＰ语言是一种基于表达式的泛函程序设计语言，这是一种具有归约语义的，引用透明的，能表达无限数据结构，高阶纯粹的函数式语言。它的实现是基于λ演算、ＳＬＩ演算、ＳＫＬ－Ｇ演算、ＬＮＦ演算及图归约技术。本文在［４］的基础上首先引进了ＬＮＦ演算，而后详细介绍了该语言的归约机实现技术，对结果作了讨论。     

XCY语言的静态指称语义的设计

本文讨论了用VDM元语言形式地描述XCY的静态指称语义.在引言中对研究表态语义的意义,所采用的方法进行了介绍.第二部分讨论了抽象语法的设计,从BNF描述的具体语法到VDM描述的抽象语法之间的变换,以及设计XCY语言的抽象语法中的一些考虑.第三部分描述了静态环境和模块指称的设计.第四部分讨论了静态环境和模块上的几个语义函数的构造.最后是结论.在附录中给出了XCY语言的静态指称语义(略).     

大数据上函数查询解答的复杂度分析

函数查询是大数据应用中重要的操作,查询解答问题一直是数据库理论中的核心问题。为了分析大数据上函数查询解答问题的复杂度,首先,使用映射归约方法将函数查询语言归约到已知的可判定语言,证明了函数查询解答问题的可计算性;其次,使用一阶语言描述函数查询,并分析了一阶语言的复杂度;在此基础上,使用NC-factor归约方法将函数查询类归约到已知的\mathrm{\Pi }{\mathrm{{\rm T}}}_Q-complete类中。证明函数查询解答问题经过PTIME（多项式时间）预处理后,可以在NC（并行多项式-对数）时间内求解。通过以上证明可以推出,函数查询解答问题在大数据上是可处理的。     

在PROLOG中嵌入函数型语言功能的探讨与比较

本文指出在PROLOG中嵌入函数功能有三种可能的途径,一是像原PROLOG的办法将函数唯一地变换成关系。二是采用一步归约的办法。三是采用N步归约的办法。本文在PROLOG中给出了后两种办法的具体算法,具体地分析了三种办法的利弊,提出了如何嵌入函数型语言功能的建议。文中算法均用LISP语言描述并且在计算机上实现了。     

函数／逻辑语言归约实现技术

ＲＦＵＮＬＯＧ是我们在ＬＮＦ演算基础上自行设计实现的一种函数／逻辑语言，它具有统一的操作语义。本文介绍ＲＦＵＮＬＯＧ语言的总体结构、归约操作语义及其解释实现技术。     

程序转换中的终止性保持问题

Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性.为此,本文提出了函数的“归约测度”和“归约转换”的概念,且证明了只要函数在转换过程中保持“复杂性”在某一归约测度下不增,转换即可保持终止性.     

程序设计语言C

命名为C的程序语言原先是作为分时系统(TSS)用的操作系统(OS)UNIX的主力语言。它是一种精巧的语言。由于C语言适于描述操作系统、编译程序及软件工具,所以自1979年以来在能使用软盘的微型计算机中也开始使用它。相当于C语言子集的tiny C是面向初学者的小语言。一、作为UNIX主力语言而产生的C语言 C语言目的是描述PDP-11上用的操作系统UNIX。在1972年由贝尔研究所的D.Rit-chie研制。设计用在分时系统(TSS)上的UNIX是一个使用非常方便的操作系统,相当普及,随之,C语言也被推广了。     

ML核心语言的FFP-ATS语义学:“值”的计算

ML语言是一种实验性的函数程序设计语言。它是研制得颇为成功的,且已趋于实用。在国内,该语言也已受到人们的关注。作者试图剥掉ML的“糖衣”,让它回到FFP系统上来;也就是,探讨ML的FFP-ATS语义学。由于ML语言成分相当丰富,并有不少特色,此项工作不可能在一文中全部包罗进去,因此,分几部分完成。本文涉及ML核心语言的“值”的计算这一部分的FFP-ATS语义学。     

MFS:一个基于重写技术的程序开发系统

MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题,提高所开发系统的正确性．在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率．应用这一程序开发系统,能够较快地开发出正确且效率较高的程序．     

手把手教你学单片机的C语言程序设计（十一）

函数的定义C语言程序是由函数构成的,函数是C语言中的一种基本模块。在《手教手教你学单片机的C语言程序设计(三)》中,我们已经介绍了C语言程序的组成结构,即C语言程序是由函数构成的,一个C源程序至少包括一个名为main()的函数(主函数),也可能包含其它函数。C语言程序总是由主函数main()开始执行的,main()函数是一个控制程序流程的特殊函数,它是程序的起点。所有函数在定义时是相互独立的,它们之间是平行关系,所以不能在一个函数内部定义另一个函数,即不能嵌套定义。函数之间可以互相调用,但不能调用主函数。从使用者的角度来看,有两种函数:标准库函数和用户自定义功能子函