Efficiently executable temporal logic programs

被引：0

|

作者：

Merz, S

机构：

来源：

EXECUTABLE MODAL AND TEMPORAL LOGICS | 1995年 / 897卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：69 / 85

页数：17

相关论文

共 50 条

[41] CONSTRUCTING PROGRAMS AS EXECUTABLE ATTRIBUTE GRAMMARS
FROST, RA
[J]. COMPUTER JOURNAL, 1992, 35 (04): : 376 - 387
[42] TRANSLATION OF ALGEBRAIC PROGRAMS INTO EXECUTABLE CODES
Goncharov, S. V.
Rudich, A. Ye.
[J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2005, 41 (05) : 775 - 782
[43] Recovering the Memory Behavior of Executable Programs
Ketterlin, Alain
Clauss, Philippe
[J]. 2010 10TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, 2010, : 189 - 198
[44] ON THE USE OF EXECUTABLE ASSERTIONS IN STRUCTURED PROGRAMS
MILI, A
GUEMARA, S
JAOUA, A
TORRES, P
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1987, 7 (01) : 15 - 27
[45] Algorithms for the executable programs planning on supercomputers
Algashami, Abdullah M.
[J]. PLOS ONE, 2022, 17 (09):
[46] 4 EXAMPLES OF LANGUAGES OR ENVIRONMENTS FOR DEVELOPING TEMPORAL LOGIC PROGRAMS
DZIERZGOWSKI, D
[J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1990, 9 (04): : 289 - 312
[47] A temporal logic for reasoning about timed concurrent constraint programs
de Boer, FS
Gabbrielli, M
Meo, MC
[J]. EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 227 - 233
[48] Agent deliberation in an executable temporal framework
Fisher, Michael
[J]. JOURNAL OF APPLIED LOGIC, 2011, 9 (04) : 223 - 238
[49] Detection of parallel executable steps for programs with arrays
Nuriyev, R.
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 2010, 36 (01) : 19 - 27
[50] EXECUTABLE LOGIC SPECIFICATIONS FOR PROTOCOL SERVICE INTERFACES
SIDHU, DP
CRALL, CS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (01) : 98 - 121

← 1 2 3 4 5 →