کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328866 685186 2005 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Program Logic for Bytecode
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Program Logic for Bytecode
چکیده انگلیسی
Program logics for bytecode languages such as Java bytecode or the .NET CIL can be used to apply Proof-Carrying Code concepts to bytecode programs and to verify correctness properties of bytecode programs. This paper presents a Hoare-style logic for a sequential bytecode kernel language similar to Java bytecode and CIL. The logic handles object-oriented features such as inheritance, dynamic method binding, and object structures with destructive updates, as well as unstructured control flow with jumps. It is sound and complete.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 141, Issue 1, 5 December 2005, Pages 255-273
نویسندگان
, ,