A framed temporal logic programming language

被引：36
|
作者：
Duan, ZH [1 ]
Koutny, M
机构：
[1] Xidian Univ, Xian 710071, Peoples R China
[2] Univ Newcastle Upon Tyne, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England
[3] ISCAS, Comp Sci Lab, Beijing 100080, Peoples R China
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2004年 / 19卷 / 03期
基金：
高等学校博士学科点专项科研基金; 中国国家自然科学基金;
关键词：
temporal logic; temporal logic programming; frame; projection; concurrency;
D O I：
10.1007/BF02944904
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is also presented, using which a synchronization operator, await, is defined within the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given.
引用
收藏
页码：341 / 351
页数：11
相关论文
共 50 条
  • [1] A framed temporal logic programming language
    Zhen-Hua Duan
    Maciej Koutny
    [J]. Journal of Computer Science and Technology, 2004, 19 : 341 - 351
  • [2] Erratum to A framed temporal logic programming language
    Zhen-Hua Duan
    [J]. Journal of Computer Science and Technology, 2004, 19 (6) : 985 - 985
  • [3] Framed temporal logic programming
    Duana, Zhenhua
    Yanga, Xiaoxiao
    Koutnyb, Maciej
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2008, 70 (01) : 31 - 61
  • [4] TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO PROGRAMMING IN TOKIO
    AOYAGI, T
    FUJITA, M
    MOTOOKA, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 128 - 137
  • [5] IMPLEMENTATION OF TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO
    KONO, S
    AOYAGI, T
    FUJITA, M
    TANAKA, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 138 - 147
  • [6] MSVL: a typed language for temporal logic programming
    Xiaobing Wang
    Cong Tian
    Zhenhua Duan
    Liang Zhao
    [J]. Frontiers of Computer Science, 2017, 11 : 762 - 785
  • [7] MSVL: a typed language for temporal logic programming
    Wang, Xiaobing
    Tian, Cong
    Duan, Zhenhua
    Zhao, Liang
    [J]. FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (05) : 762 - 785
  • [8] Integration of Linear Constraints with a Temporal Logic Programming Language
    Ma, Qian
    Duan, Zhenhua
    Yang, Mengfei
    [J]. 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 157 - 164
  • [9] Semantics of framed temporal logic programs
    Duan, ZH
    Yang, XX
    Koutny, M
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 356 - 370
  • [10] TOKIO - LOGIC PROGRAMMING LANGUAGE BASED ON TEMPORAL LOGIC AND ITS COMPILATION TO PROLOG
    FUJITA, M
    KONO, S
    TANAKA, H
    MOTOOKA, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 695 - 709
12345