![]() |
Volumn 41, Issue 3, 2001, Pages 35-49
|
Efficient substitution in hoare logic expressions
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CODES (SYMBOLS);
COMPUTATIONAL COMPLEXITY;
COMPUTER AIDED INSTRUCTION;
COMPUTER PROGRAMMING;
COMPUTER SOFTWARE;
ENCODING (SYMBOLS);
MATHEMATICAL PROGRAMMING;
SEMANTICS;
HOARE LOGIC;
LOGICAL FORMULAE;
PROGRAM ANALYSIS;
PROGRAM INSTRUCTIONS;
LOGIC PROGRAMMING;
|
EID: 18944373663
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(04)80872-7 Document Type: Conference Paper |
Times cited : (4)
|
References (10)
|