مشخصات کتاب

The structure of typed programming languages

ویرایش:  
نویسندگان: Schmidt D.A.  
سری:  
ISBN (شابک) : 0262193493 
ناشر: MIT 
سال نشر: 1994 
تعداد صفحات: 385 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

در صورت تبدیل فایل کتاب The structure of typed programming languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب ساختار زبان های برنامه نویسی تایپ شده

ساختار زبان‌های برنامه‌نویسی تایپ شده ویژگی‌های نحوی و معنایی زبان‌های برنامه‌نویسی مدرن را توصیف می‌کند و تأثیر آن‌ها بر طراحی زبان را به دقت بیان می‌کند. با استفاده از تحقیقات کلاسیک و اخیر از حساب دیفرانسیل و انتگرال لامبدا و تئوری نوع، بازسازی منطقی زبان‌های دستوری شبیه الگول مانند پاسکال، آدا و مدولا-3 و زبان‌های تابعی درجه بالاتر مانند Scheme و ML را ارائه می‌کند. متن دیوید اشمیت بر این فرض استوار است که اگرچه تعداد کمی از برنامه نویسان واقعاً یک زبان برنامه نویسی را طراحی می کنند، اما درک تکنیک های ساختار برای آنها مهم است. استفاده او از این تکنیک ها در بازسازی زبان های برنامه نویسی موجود و در طراحی زبان های جدید به برنامه نویسان و برنامه نویسان احتمالی این امکان را می دهد که ببینند چرا زبان های موجود به شکلی که هستند ساختار یافته اند و چگونه می توان زبان های جدیدی را با استفاده از تغییرات در تم های استاندارد ساخت. این متن در ارائه آموزشی محاسبات لامبدا مرتبه بالاتر و نظریه نوع شهودی منحصر به فرد است. دومی به طور خاص نشان می دهد که یک زبان برنامه نویسی منطقی است که در آن سیستم تایپ آن گزاره های منطق را تعریف می کند و برنامه های تایپ شده آن به خوبی اثبات گزاره ها را تشکیل می دهند. ساختار زبان های برنامه نویسی تایپ شده برای استفاده در دوره اول یا دوم در مورد اصول زبان های برنامه نویسی طراحی شده است. این دانش پایه ای از زبان های برنامه نویسی و ریاضیات معادل یک دوره مبتنی بر کتاب هایی مانند فریدمن، وند، و هاینز: اصول زبان های برنامه نویسی را فرض می کند. از آنجایی که اشمیت هم نحو و هم معناشناسی زبان‌های برنامه‌نویسی را پوشش می‌دهد، متن او پیش‌روی کاملی برای ارائه رسمی‌تر معناشناسی زبان برنامه‌نویسی مانند معناشناسی زبان‌های برنامه‌نویسی گانتر فراهم می‌کند.

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

The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents a rational reconstruction of the Algol-like imperative languages such as Pascal, Ada, and Modula-3, and the higher-order functional languages such as Scheme and ML. David Schmidt's text is based on the premise that although few programmers ever actually design a programming language, it is important for them to understand the structuring techniques. His use of these techniques in a reconstruction of existing programming languages and in the design of new ones allows programmers and would-be programmers to see why existing languages are structured the way they are and how new languages can be built using variations on standard themes. The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory. The latter in particular reveals that a programming language is a logic in which its typing system defines the propositions of the logic and its well-typed programs constitute the proofs of the propositions. The Structure of Typed Programming Languages is designed for use in a first or second course on principles of programming languages. It assumes a basic knowledge of programming languages and mathematics equivalent to a course based on books such as Friedman, Wand, and Haynes': Essentials of Programming Languages. As Schmidt covers both the syntax and the semantics of programming languages, his text provides a perfect precursor to a more formal presentation of programming language semantics such as Gunter's Semantics of Programming Languages.

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

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

دانلود کتاب Total War: The Causes and Courses of the Second World War

دانلود کتاب Mathematical circus : more puzzles, games, paradoxes, and other mathematical entertainments from Scientific American with a preface by Donald Knuth, a postscript from the author, and a new bibliography by Mr. Gardner : thoughts from readers, and 105 drawings and diagrams

دانلود کتاب Theoretical Logic in Sociology, Vol. 4: The Modern Reconstruction of Classical Thought: Talcott Parsons

دانلود کتاب Numerical Analysis. A Second Course

دانلود کتاب Ganesh: Studies of an Asian God