![]() |
Volumn 2860, Issue , 2003, Pages 81-95
|
Analyzing the Intel Itanium memory ordering rules using logic programming and SAT
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER AIDED ANALYSIS;
COMPUTER PROGRAMMING LANGUAGES;
DESIGN;
FORMAL LOGIC;
PROGRAM PROCESSORS;
SEMANTICS;
BOOLEAN SATISFIABILITY;
CONSTRAINT LOGIC PROGRAMMING LANGUAGES;
CONSTRAINT SOLVING;
HIGHER ORDER LOGIC;
MEMORY MODELING;
MEMORY ORDERING;
OPERATIONAL METHODS;
ORDERING CONSTRAINTS;
LOGIC PROGRAMMING;
|
EID: 0142214509
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-540-39724-3_9 Document Type: Article |
Times cited : (17)
|
References (21)
|