برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Java and the Java Virtual Machine: Definition, Verification, Validation

دانلود کتاب جاوا و ماشین مجازی جاوا: تعریف ، تأیید ، اعتبار سنجی

مشخصات کتاب

Java and the Java Virtual Machine: Definition, Verification, Validation

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: Robert F. Stärk,  Joachim Schmid,  Egon Börger  
سری:  
ISBN (شابک) : 3540420886, 9783540420880 
ناشر: Springer 
سال نشر: 2001 
تعداد صفحات: 390 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 40,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 8

در صورت تبدیل فایل کتاب Java and the Java Virtual Machine: Definition, Verification, Validation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب جاوا و ماشین مجازی جاوا: تعریف ، تأیید ، اعتبار سنجی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب جاوا و ماشین مجازی جاوا: تعریف ، تأیید ، اعتبار سنجی

این کتاب یک توصیف سطح بالا، همراه با یک تجزیه و تحلیل ریاضی و تجربی، از جاوا و ماشین مجازی جاوا (JVM)، شامل یک کامپایلر استاندارد از برنامه‌های جاوا به کد JVM و مؤلفه تأییدکننده بایت کد حیاتی امنیتی JVM ارائه می‌کند. . توضیحات در لایه های زبان و اجزای ماشین ساختار یافته است. آن را با یک اصلاح طبیعی اجرایی (نوشته شده در AsmGofer و ارائه شده در CD ROM) ارائه می شود که می تواند برای تست کد استفاده شود. روش توسعه‌یافته برای این منظور بر اساس ماشین‌های حالت انتزاعی (ASM) است و می‌تواند برای ماشین‌های مجازی دیگر و همچنین برای سایر زبان‌های برنامه‌نویسی اعمال شود. این کتاب برای دانش‌آموزان پیشرفته و متخصصان و متخصصان تحقیق و توسعه نوشته شده است که به تعریف کامل و شفاف و مدلی قابل اجرا از زبان و ماشین مجازی زیربنای اجرای مورد نظر آن نیاز دارند.

توضیحاتی درمورد کتاب به خارجی

This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is structured into language layers and machine components. It comes with a natural executable refinement (written in AsmGofer and provided on CD ROM) which can be used for testing code. The method developed for this purpose is based on Abstract State Machines (ASMs) and can be applied to other virtual machines and to other programming languages as well. The book is written for advanced students and for professionals and practitioners in research and development who need a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.

فهرست مطالب

Introduction......Page 10
The goals of the book......Page 11
The contents of the book......Page 12
Decomposing Java and the JVM......Page 16
Sources and literature......Page 20
ASMs in a nutshell......Page 24
Mathematical definition of ASMs......Page 27
Notational conventions......Page 36
Part I. Java......Page 38
Static semantics of JavaI......Page 42
Transition rules for JavaI......Page 48
Static semantics of JavaC......Page 56
Transition rules for JavaC......Page 72
Static semantics of JavaO......Page 80
Transition rules for JavaO......Page 89
Static semantics of JavaE......Page 96
Transition rules for JavaE......Page 98
The concurrent extension JavaT of JavaE......Page 104
Static semantics of JavaT......Page 105
Transition rules for JavaT......Page 107
Thread invariants......Page 115
Structural properties of Java runs......Page 120
Unreachable statements......Page 126
Rules of definite assignment......Page 130
Java is type safe......Page 135
Part II. Compilation of Java: The Trustful JVM......Page 144
Dynamic semantics of the JVMI......Page 148
Compilation of JavaI......Page 151
Dynamic semantics of the JVMC......Page 156
Compilation of JavaC......Page 162
Dynamic semantics of the JVMO......Page 164
Compilation of JavaO......Page 166
Dynamic semantics of the JVME......Page 168
Compilation of JavaE......Page 172
Executing the JVMN......Page 174
The correctness statement......Page 176
The correctness proof......Page 187
Part III. Bytecode Verification: The Secure JVM......Page 214
The defensive virtual machine......Page 218
Checking JVMI......Page 219
Checking JVMC......Page 222
Checking JVMO......Page 223
Checking JVME......Page 228
Checking JVMN......Page 230
Checks are monotonic......Page 231
Bytecode type assignments......Page 232
Problems of bytecode verification......Page 233
Successors of bytecode instructions......Page 240
Type assignments without subroutine call stacks......Page 245
Soundness of bytecode type assignments......Page 251
Certifying compilation......Page 261
Principal bytecode type assignments......Page 282
Verifying JVMI......Page 284
Verifying JVMC......Page 288
Verifying JVME......Page 292
Verifying JVMN......Page 295
Initiating and defining loaders......Page 298
Loading classes......Page 299
Dynamic semantics of the JVMD......Page 300
Overview......Page 314
Java......Page 315
Compiler......Page 321
Java Virtual Machine......Page 323
Rules......Page 332
Arrays......Page 340
Trustful execution......Page 344
Defensive execution......Page 352
Diligent execution......Page 353
Check functions......Page 356
Successor functions......Page 357
Constraints......Page 358
Arrays......Page 360
Abstract versus real instructions......Page 364
Compilation functions......Page 370
maxOpd......Page 372
Arrays......Page 373
References......Page 374
List of Figures......Page 376
List of Tables......Page 380
Index......Page 382