THE DECLARATIVE PAST AND IMPERATIVE FUTURE - EXECUTABLE TEMPORAL LOGIC FOR INTERACTIVE SYSTEMS

被引：0
|
作者：
GABBAY, D
机构：
来源：
TEMPORAL LOGIC IN SPECIFICATION | 1989年 / 398卷
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：409 / 448
页数：40
相关论文
共 50 条
  • [1] THE DECLARATIVE PAST AND IMPERATIVE FUTURE - EXECUTABLE TEMPORAL LOGIC FOR INTERACTIVE SYSTEMS
    GABBAY, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 409 - 448
  • [2] Executable temporal logic systems
    不详
    JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (5-6) : 721 - 721
  • [3] The Declarative Imperative Experiences and Conjectures in Distributed Logic
    Hellerstein, Joseph M.
    SIGMOD RECORD, 2010, 39 (01) : 5 - 19
  • [4] Efficiently executable temporal logic programs
    Merz, S
    EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 69 - 85
  • [5] Using temporal logic to prototype interactive systems
    1600, Publ by Lawrence Erlbaum Associates, Publishers Inc, Hillsdale, NJ, USA
  • [6] FROM THE PAST TO THE FUTURE - EXECUTING TEMPORAL LOGIC PROGRAMS
    FISHER, M
    OWENS, R
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 369 - 380
  • [7] Real time temporal logic: Past, present, future
    Maler, O
    Nickovic, D
    Pnueli, A
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 2 - 16
  • [8] Mexitl:: multimedia in executable interval temporal logic
    Bowman, H
    Cameron, H
    King, P
    Thompson, S
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (01) : 5 - 38
  • [9] Mexitl: Multimedia in Executable Interval Temporal Logic
    Howard Bowman
    Helen Cameron
    Peter King
    Simon Thompson
    Formal Methods in System Design, 2003, 22 : 5 - 38
  • [10] Flexible agent grouping in executable temporal logic
    Fisher, M
    Kakoudakis, T
    INTENSIONAL PROGRAMMING II: BASED ON THE PAPERS AT ISLIP'99, 2000, : 93 - 105
12345