دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نویسی: زبان های برنامه نویسی ویرایش: 1 نویسندگان: Jim Alves-Foss, Deborah Frincke (auth.), Jim Alves-Foss (eds.) سری: Lecture Notes in Computer Science 1523 ISBN (شابک) : 3540661581, 9783540661580 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 408 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب نحو رسمی و معنایی جاوا: زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، مهندسی نرم افزار
در صورت تبدیل فایل کتاب 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