مشخصات کتاب

Semantics with applications: an appetizer

ویرایش: 1st Edition. 
نویسندگان: Hanne Riis Nielson. Flemming Nielson  
سری: Undergraduate Topics in Computer Science 
ISBN (شابک) : 1846286913, 9781846286919 
ناشر: Springer 
سال نشر: 2007 
تعداد صفحات: 284 
زبان: English  
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Semantics with applications: an appetizer به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب معناشناسی با کاربردها: پیش غذا

معناشناسی نقش مهمی در توسعه آینده سیستم‌های نرم‌افزاری و زبان‌های خاص دامنه خواهد داشت. این کتاب ارائه مقدماتی مورد نیاز از ایده‌های بنیادی پشت این رویکردها را ارائه می‌کند، بر رابطه آنها با فرمول‌بندی و اثبات قضایای مربوط تاکید می‌کند، و کاربردهای معناشناسی در علوم رایانه را نشان می‌دهد. حوزه های کاربردی مهم تاریخی همراه با برخی برنامه های کاربردی بالقوه هیجان انگیز ارائه شده است. متن رابطه بین روش‌های مختلف را بررسی می‌کند و برخی از ایده‌های اصلی مورد استفاده را توصیف می‌کند، و اینها را با استفاده از کاربردهای جالب نشان می‌دهد. این کتاب مقدمه ای دقیق برای رویکردهای اصلی معناشناسی رسمی زبان های برنامه نویسی ارائه می دهد.

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

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.

فهرست مطالب

Front Matter......Page 2
Title Page......Page 4
Preface......Page 6
Contents......Page 10
List of Tables......Page 12
1.1. Semantic Description Methods......Page 14
1.2. The Example Language While......Page 20
1.3. Semantics of Expressions......Page 22
2. Operational Semantics......Page 32
2.1. Natural Semantics......Page 33
2.2. Structural Operational Semantics......Page 46
2.3. An Equivalent Result......Page 54
3.1. Non-sequential Language Constructs......Page 60
3.2. Blocks and Procedures......Page 67
4.1. The Abstract Machine......Page 79
4.2. Specification of the Translation......Page 87
4.3. Correctness......Page 90
4.4. An Alternative Proof Technique......Page 100
5. Denotational Semantics......Page 103
5.1. Direct Style Semantics: Specification......Page 104
5.2. Fixed Point Theory......Page 111
5.3. Direct Style Semantics: Existence......Page 127
5.4. An Equivalence Result......Page 133
6.1. Environments and Stores......Page 139
6.2. Continuations......Page 150
7. Program Analysis......Page 156
7.1. Detection of Signs Analysis: Specification......Page 160
7.2. Detection of Signs Analysis: Existence......Page 172
7.3. Safety of the Analysis......Page 177
7.4. Program Transformation......Page 182
8. More on Program Analysis......Page 186
8.1. Data Flow Frameworks......Page 188
8.2. Security Analysis......Page 194
8.3. Safety of the Analysis......Page 204
9.1. Direct Proofs of Program Correctness......Page 216
9.2. Partial Correctness Assertions......Page 223
9.3. Soundness and Completeness......Page 231
10.1. Total Correctness Assertions......Page 240
10.2. Assertions for Execution Time......Page 250
11. Further Reading......Page 258
A. Review of Notation......Page 262
B. Implementation of Program Analysis......Page 266
B.1. The General and Monotone Frameworks......Page 268
B.2. The Completely Additive Framework......Page 270
B.3. Iterative Program Schemes......Page 273
Bibliography......Page 278
Index......Page 280

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

کتاب های تصادفی

دانلود کتاب Learning Lead Guitar (Getting rid of the rock star and finding the lead guitarist in you)

دانلود کتاب Inklusive Bildung forschend entdecken: Das Konzept der kooperativen Lehrer*innenbildung

دانلود کتاب XVI. Yüzyıl Türk Edebiyatı

دانلود کتاب CCNA Routing and Switching Study Guide Exams 100-101, 200-101, and 200-120

دانلود کتاب Theoretische Einführung in die Gasdynamik