Cost analysis of games, using program logic

被引：3
|
作者：
Morgan, C [1 ]
McIver, A [1 ]
机构：
[1] Univ New S Wales, Dept Comp Sci & Engn, Kensington, NSW 2052, Australia
来源：
APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2001年
关键词：
D O I：
10.1109/APSEC.2001.991501
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：351 / 351
页数：1
相关论文
共 50 条
  • [1] Program analysis games
    Hankin, C
    Malacaria, P
    [J]. ACM COMPUTING SURVEYS, 1999, 31 : C1 - C3
  • [2] Logic Program Termination Analysis Using Atom Sizes
    Calautti, Marco
    Greco, Sergio
    Molinaro, Cristian
    Trubitsyna, Irina
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2833 - 2839
  • [3] Using linear constraints for logic program termination analysis
    Calautti, Marco
    Greco, Sergio
    Molinaro, Cristian
    Trubitsyna, Irina
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 353 - 377
  • [4] PROGRAM PARTITION AND LOGIC PROGRAM ANALYSIS
    HAN, JL
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (12) : 959 - 968
  • [5] THE OLYMPIC GAMES - PROGRAM FOR AN ANALYSIS
    BOURDIEU, P
    [J]. ACTES DE LA RECHERCHE EN SCIENCES SOCIALES, 1994, (103) : 102 - 103
  • [6] Bridging Static and Dynamic Program Analysis using Fuzzy Logic
    Lidman, Jacob
    Svenningsson, Josef
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (250): : 111 - 126
  • [7] Separation logic and program analysis
    O'Hearn, Peter W.
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2006, 4134 : 181 - 181
  • [8] A Program Logic for Dependence Analysis
    Bubel, Richard
    Haehnle, Reiner
    Tabar, Asmae Heydari
    [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 83 - 100
  • [9] THE GAMES OF LOGIC AND THE GAMES OF INQUIRY
    HINTIKKA, J
    [J]. DIALECTICA, 1995, 49 (2-4) : 229 - 249
  • [10] SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
    Le, Ton Chanh
    Zheng, Guolong
    Nguyen, ThanhVu
    [J]. PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 788 - 801
12345