مشخصات کتاب

Programming Languages and Operational Semantics: A Concise Overview

ویرایش: 1 
نویسندگان: Maribel Fernández (auth.)  
سری: Undergraduate Topics in Computer Science 
ISBN (شابک) : 9781447163671, 9781447163688 
ناشر: Springer-Verlag London 
سال نشر: 2014 
تعداد صفحات: 211 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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

در صورت تبدیل فایل کتاب Programming Languages and Operational Semantics: A Concise Overview به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب زبان های برنامه نویسی و معناشناسی عملیاتی: یک بررسی اجمالی

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

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

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.

فهرست مطالب

Front Matter....Pages i-ix
Front Matter....Pages 1-1
Introduction....Pages 3-19
Mathematical Background....Pages 21-41
Front Matter....Pages 43-43
General Features of Imperative Languages....Pages 45-60
Operational Semantics of Imperative Languages....Pages 61-90
Front Matter....Pages 91-91
General Features of Functional Languages....Pages 93-120
Operational Semantics of Functional Languages....Pages 121-151
Front Matter....Pages 153-153
General Features of Logic Programming Languages....Pages 155-166
Operational Semantics of Prolog....Pages 167-177
Answers to Selected Exercises....Pages 179-206
Back Matter....Pages 207-209

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

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

دانلود کتاب A Structural Perspective on Respiratory Complex I: Structure and Function of NADH:ubiquinone oxidoreductase

دانلود کتاب Foucault and Classical Antiquity: Power, Ethics and Knowledge

دانلود کتاب The Secondary and Tertiary Rays from Chemical Elements of Small Atomic Number Due to Primary X-Rays from a Molybdenum Target

دانلود کتاب Igapó (Black-water flooded forests) of the Amazon Basin

دانلود کتاب Choisir de ralentir