|
|
Volumn 47, Issue 2, 2005, Pages 107-110
|
|
Verified Java bytecode verification
|
|
Author keywords
D.3.1 Formal Definitions and Theory ; F.3.1 Specifying and Verifying and Reasoning about Programs ; F.3.2 Semantics of Programming Languages
|
|
Indexed keywords
COMPUTER SOFTWARE;
ITERATIVE METHODS;
JAVA PROGRAMMING LANGUAGE;
SEMANTICS;
SMART CARDS;
THEOREM PROVING;
BYTECODE VERIFIERS;
D.3.1 [FORMAL DEFINITION AND THEORY];
EXECUTABLES;
F.3.1 [SPECIFYING AND VERIFYING AND REASONING ABOUT PROGRAM];
F.3.2 [SEMANTIC OF PROGRAMMING LANGUAGE];
FORMAL DEFINITION;
FORMAL THEORY;
JAVA BYTECODE VERIFICATION;
REASONING ABOUT PROGRAMS;
SEMANTICS OF PROGRAMMING LANGUAGES;
SPECIFICATIONS;
|
|
EID: 71049149074
PISSN: 16112776
EISSN: 21967032
Source Type: Journal
DOI: 10.1524/itit.47.2.107.62257 Document Type: Article |
|
Times cited : (2)
|
|
References (0)
|
