ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Syntax and Semantics of Java

دانلود کتاب نحو رسمی و معنایی جاوا

Formal Syntax and Semantics of Java

مشخصات کتاب

Formal Syntax and Semantics of Java

دسته بندی: برنامه نویسی: زبان های برنامه نویسی
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 1523 
ISBN (شابک) : 3540661581, 9783540661580 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 408 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب نحو رسمی و معنایی جاوا: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، مهندسی نرم افزار



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Formal Syntax and Semantics of Java به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب نحو رسمی و معنایی جاوا



جاوا، بدون شک، ریشه در سیستم های تعبیه شده و وب دارد. با این وجود، این یک زبان برنامه نویسی سطح بالا کاملاً کاربردی است که می تواند طیف گسترده ای از عملکرد و تطبیق پذیری را در اختیار کاربران قرار دهد. این بررسی کاملاً متقابل به بررسی نحوی و معنایی جاوا از دیدگاه روش‌های رسمی اختصاص دارد. این شامل فصول زیر توسط محققان برجسته است: Formal Grammar for Java; توصیف معناشناسی جاوا و اثبات صحت نوع؛ اثبات صحت نوع جاوا. ماشین-بررسی مشخصات جاوا: اثبات نوع-ایمنی. یک معناشناسی عملیاتی ساختاری مبتنی بر رویداد در جاوای چند رشته‌ای، پویای معنایی نمادین جاوا. معناشناسی کاهش یک برنامه نویس برای کلاس ها و ترکیب ها. مشخصات رسمی دستورالعمل‌های ماشین مجازی جاوا برای اشیا، روش‌ها و برنامه‌های فرعی. معناشناسی عملیاتی یک پردازشگر امن جاوا. تعریف ماژولار مناسب برنامه نویس از معناشناسی جاوا.


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

Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.



فهرست مطالب

Formal Grammar for Java....Pages 1-40
Describing the Semantics of Java and Proving Type Soundness....Pages 41-80
Proving Java Type Soundness....Pages 83-118
Machine-Checking the Java Specification: Proving Type-Safety....Pages 119-156
An Event-Based Structural Operational Semantics of Multi-threaded Java....Pages 157-200
Dynamic Denotational Semantics of Java....Pages 201-240
A Programmer’s Reduction Semantics for Classes and Mixins....Pages 241-269
A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines....Pages 271-311
The Operational Semantics of a Java Secure Processor....Pages 313-351
A Programmer Friendly Modular Definition of the Semantics of Java....Pages 353-404




نظرات کاربران