Modelling Temporal Assertions for Global Directional Eliminativists

被引：0
|
作者：
Kajimoto, Naoyuki [1 ]
Miller, Kristie [1 ]
Norton, James [2 ]
机构：
[1] Univ Sydney, Sydney, NSW, Australia
[2] Univ Iceland, Reykjavik, Iceland
来源：
PHILOSOPHERS IMPRINT | 2021年 / 21卷 / 02期
基金：
日本学术振兴会;
关键词：
TIME;
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：1 / 16
页数：16
相关论文
共 50 条
  • [1] Temporal Assertions with Parametrized Propositions
    Stolz, Volker
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 743 - 757
  • [2] Temporal Assertions using AspectJ
    Stolz, Volker
    Bodden, Eric
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (04) : 109 - 124
  • [3] Temporal assertions with parametrised propositions
    Stolz, Volker
    [J]. RUNTIME VERIFICATION, 2007, 4839 : 176 - 187
  • [4] Debugging with Dynamic Temporal Assertions
    Al-Sharif, Ziad A.
    Jeffery, Clinton L.
    Said, Mahmoud H.
    [J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 257 - 262
  • [5] TRUTH AND JUSTIFICATION OF THE TEMPORAL ASSERTIONS
    Pascucci, Matteo
    [J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2011, 2 (02) : 124 - 136
  • [6] Integrating temporal assertions into a parallel debugger
    Kovacs, J
    Kusper, G
    Lovas, R
    Schreiner, W
    [J]. EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS, 2002, 2400 : 113 - 120
  • [7] Symbolic model checking and simulation with temporal assertions
    Weiss, RJ
    Ruf, J
    Kropf, T
    Rosenstiel, W
    [J]. ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR SOCS: SELECTED CONTRIBUTIONS FROM FDL'04, 2005, : 275 - 291
  • [8] Automatic generation of executable assertions for runtime checking temporal requirements
    Pintér, G
    Majzik, I
    [J]. Ninth IEEE International Symposium on High-Assurance Systems Engineering, 2005, : 111 - 120
  • [9] BI-DIRECTIONAL TEMPORAL MODELLING FOR SEMANTIC CHANGE DETECTION IN REMOTE SENSING IMAGES
    Zhang, Jing
    Ding, Lei
    Bruzzone, Lorenzo
    [J]. IGARSS 2023 - 2023 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, 2023, : 5503 - 5506
  • [10] Global extensional assertions and local integrity constraints in federated schemata
    Türker, C
    Saake, G
    [J]. INFORMATION SYSTEMS, 2000, 25 (08) : 503 - 526
12345