![]() |
Volumn 1738, Issue , 1999, Pages 168-180
|
Hoare logic for mutual recursion and local variables
|
Author keywords
Axiomatic semantics; Call by value parameters; Hoare logic; Isabelle HOL; Local variables; Mutual recursion; Relative completeness; Soundness
|
Indexed keywords
COMPUTATIONAL LINGUISTICS;
RECONFIGURABLE HARDWARE;
SEMANTICS;
SOFTWARE ENGINEERING;
AXIOMATIC SEMANTICS;
CALL-BY-VALUE PARAMETERS;
HOARE LOGIC;
ISABELLE/HOL;
LOCAL VARIABLES;
MUTUAL RECURSION;
RELATIVE COMPLETENESS;
SOUNDNESS;
COMPUTER CIRCUITS;
|
EID: 84958747541
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-46691-6_13 Document Type: Conference Paper |
Times cited : (31)
|
References (11)
|