高级检索

    核心语言KLND的操作语义

    The Operational Semantics of Kernel Language KLND

    • 摘要: 本文给出核心语言KLND的操作语义,着重定义KLND程序的与并行执行和或并行执行的语义.为了保持逻辑式语言的程序设计风格,KLND不提供显式的通信设施,而并行执行程序时所必需的通信(其中包括方向和内容)均得到了严格的定义.

       

      Abstract: This paper presents the operational semantics of the Kernel Language KLND and mainly defines the meaning of its programs which execute AND-parallelly or OR-parallelly.Although there is no explicit communication facilities in the language to keep the logic programming style,all the necessary communication events,including their directions and contents,for executing the programs parallelly have been defined in the semantics.

       

    /

    返回文章
    返回