EXPRESSING PROGRAM LOOPING IN REGULAR DYNAMIC LOGIC

被引：12
|
作者：
MEYER, AR [1 ]
WINKLMANN, K [1 ]
机构：
[1] WASHINGTON STATE UNIV,DEPT COMP SCI,PULLMAN,WA 99164
来源：
THEORETICAL COMPUTER SCIENCE | 1982年 / 18卷 / 03期
关键词：
D O I：
10.1016/0304-3975(82)90071-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：301 / 323
页数：23
相关论文
共 50 条
  • [21] Expressing preferences in default logic
    Delgrande, JP
    Schaub, T
    ARTIFICIAL INTELLIGENCE, 2000, 123 (1-2) : 41 - 87
  • [22] EXPRESSING QUALIFIED LOGIC IN APL
    MCINTURFF, JC
    APL 89 CONFERENCE PROCEEDINGS: APL AS A TOOL OF THOUGHT, 1989, 19 : 249 - 272
  • [23] Logic synthesis for a regular layout
    Chrzanowska-Jeske, M
    Xu, Y
    Perkowski, M
    VLSI DESIGN, 1999, 10 (01) : 35 - 55
  • [24] The logic of random regular graphs
    Haber, Simi
    Krivelevich, Michael
    JOURNAL OF COMBINATORICS, 2010, 1 (04) : 389 - 440
  • [25] Regular linear temporal logic
    Leucker, Martin
    Sanchez, Cesar
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 291 - +
  • [26] PROCESS LOGIC WITH REGULAR FORMULAS
    HAREL, D
    PELEG, D
    THEORETICAL COMPUTER SCIENCE, 1985, 38 (2-3) : 307 - 322
  • [27] Logic and regular cost functions
    Colcombet, Thomas
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [28] ENRICHED CONCEPTS OF REGULAR LOGIC
    Rosicky, Y. Jiri
    Tendas, Giacomo
    JOURNAL OF SYMBOLIC LOGIC, 2025,
  • [29] FORMALIZING AND IMPLEMENTING GRIES PROGRAM-DEVELOPMENT METHOD IN DYNAMIC LOGIC
    HEISEL, M
    SCIENCE OF COMPUTER PROGRAMMING, 1992, 18 (01) : 107 - 137
  • [30] SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
    Le, Ton Chanh
    Zheng, Guolong
    Nguyen, ThanhVu
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 788 - 801
12345