A framed temporal logic programming language

被引：0
|
作者：
Zhen-Hua Duan
Maciej Koutny
机构：
[1] Xidian University,Laboratory of Computer Science
[2] University of Newcastle upon Tyne,undefined
[3] ISCAS,undefined
来源：
Journal of Computer Science and Technology | 2004年 / 19卷
关键词：
temporal logic; temporal logic programming; frame; projection; concurrency;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：10
相关论文
共 50 条
  • [1] A framed temporal logic programming language
    Duan, ZH
    Koutny, M
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 341 - 351
  • [2] Erratum to A framed temporal logic programming language
    Zhen-Hua Duan
    Journal of Computer Science and Technology, 2004, 19 (6) : 985 - 985
  • [3] Framed temporal logic programming
    Duana, Zhenhua
    Yanga, Xiaoxiao
    Koutnyb, Maciej
    SCIENCE OF COMPUTER PROGRAMMING, 2008, 70 (01) : 31 - 61
  • [4] TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO PROGRAMMING IN TOKIO
    AOYAGI, T
    FUJITA, M
    MOTOOKA, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 128 - 137
  • [5] MSVL: a typed language for temporal logic programming
    Xiaobing Wang
    Cong Tian
    Zhenhua Duan
    Liang Zhao
    Frontiers of Computer Science, 2017, 11 : 762 - 785
  • [6] IMPLEMENTATION OF TEMPORAL LOGIC PROGRAMMING LANGUAGE TOKIO
    KONO, S
    AOYAGI, T
    FUJITA, M
    TANAKA, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 138 - 147
  • [7] MSVL: a typed language for temporal logic programming
    Wang, Xiaobing
    Tian, Cong
    Duan, Zhenhua
    Zhao, Liang
    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
    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
    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
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 695 - 709
12345