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 条
  • [31] A proof procedure for temporal logic programming
    Gergatsoulis, M
    Nomikos, C
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2004, 15 (02) : 417 - 443
  • [32] TEMPORAL LOGIC PROGRAMMING IS COMPLETE AND EXPRESSIVE
    BAUDINET, M
    CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 267 - 280
  • [33] Towards temporal contextual logic programming
    Nogueira, Vitor
    Abreu, Salvador
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 439 - 441
  • [34] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGIC
    SHIFMAN, M
    JELOVSEK, FR
    M D COMPUTING, 1988, 5 (02): : 36 - &
  • [35] A language for programming logic with finite sets
    Dovier, Agostino
    Omodeo, Eugenio G.
    Pontelli, Enrico
    Rossi, Gianfranco
    Journal of Logic Programming, 1996, 28 (01):
  • [36] Logic programming for processing natural language
    Dahl, V
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 41 - 42
  • [37] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    VANEMDEN, MH
    KOWALSKI, RA
    JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
  • [38] LMNtal as a hierarchical logic programming language
    Ueda, Kazunori
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4784 - 4800
  • [39] Programming fuzzy logic in assembly language
    Sibigtroth, JM
    NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 456 - 458
  • [40] Testing an implementation of a temporal logic language
    Sánchez, MA
    Augusto, JC
    XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 68 - 73
12345