دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Proof, Language, and Interaction: Essays in Honour of Robin Milner
دانلود کتاب اثبات ، زبان و تعامل: مقالاتی در افتخار رابین میلر
مشخصات کتاب
Proof, Language, and Interaction: Essays in Honour of Robin Milner
ویرایش: نویسندگان: Plotkin G., Stirling C.P., Tofte M. (eds.) سری: Foundations of Computing ISBN (شابک) : 0262161885 ناشر: MIT سال نشر: 2000 تعداد صفحات: 714 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Proof, Language, and Interaction: Essays in Honour of Robin Milner به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات ، زبان و تعامل: مقالاتی در افتخار رابین میلر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اثبات ، زبان و تعامل: مقالاتی در افتخار رابین میلر
این مجموعه مقالات اصلی گستردگی تحقیقات فعلی در علوم کامپیوتر را منعکس می کند. رابین میلنر، یکی از چهره‌های مهم در این زمینه، کمک‌های اساسی زیادی به‌ویژه در علوم کامپیوتر نظری، تئوری زبان‌های برنامه‌نویسی و زبان‌های برنامه‌نویسی تابعی داشته است. این کتاب پس از شرح حال مختصری از میلنر، شامل پنج بخش است: مبانی معنایی، برنامه‌نویسی. منطق، زبان های برنامه نویسی، همزمانی و تحرک. این قطعات با هم یک کل یکپارچه را از مفاهیم بسیار انتزاعی گرفته تا سیستم‌هایی با کاربرد عالی منتقل می‌کنند. مشارکت‌کنندگان: سامسون آبرامسکی، جی سی ام باتن، سرگئی برزین، جی. ا. برگسترا، گِرارد بری، لارس بیرکدال، گِرارد بودول، ادرموندول. Collette، Robert L. Constable، Pierre-Louis Curien، Jaco de Bakker، Uffe H. Engberg، William Ferreira، Fabio Gadducci، Mike Gordon، Robert Harper، Matthew Hennessy، Yoram Hirshfeld، C. A. R. Hoare، Gérard Huet، Paul B. جکسون، آلن اس. ای. جفری، سامش جا، هه جیفنگ، کلیف بی جونز، کوزیمو لانو، شین‌شین لیو، ویل ماررو، فارون مولر، اوگو مونتاناری، پاول نائوموف، موگنس نیلسن، یواخیم پارو، لارنس سی پاولسون، بنجامین سی. ، گوردون پلوتکین، ام. ا. رنیرز، آموکران سابی، آگوستو سامپایو، دیوید سانگیورگی، اسکات اسمولکا، یوجین دبلیو استارک، کریستوفر استون، مدز توفت، دیوید ان. ترنر، خوان اوریبه، فرانک ون بروگل، دیوید واکر، گلین وینسکل.
توضیحاتی درمورد کتاب به خارجی
This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.Contributors : Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, GГ©rard Berry, Lars Birkedal, GГ©rard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, GГ©rard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane SaГЇbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel.
فهرست مطالب
Table of contents ......Page 6
Series Foreword ......Page 9
Preface ......Page 10
Introduction ......Page 12
A Brief Scientific Biography of Robin Milner ......Page 14
I SEMANTIC FOUNDATIONS ......Page 31
1 Bistructures, Bidomains, and Linear Logic ......Page 32
2 Axioms for Definability and Full Completeness ......Page 66
3 Algebraic Derivation of an Operational Semantics ......Page 87
4 From Banach to Milner: Metric Semantics for Second Order Communication and Concurrency ......Page 109
5 The Tile Model ......Page 143
II PROGRAMMING LOGIC ......Page 177
6 From LCF to HOL: A Short History ......Page 178
7 A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions ......Page 195
8 Constructively Formalizing Automata Theory ......Page 220
9 Constructive Category Theory ......Page 246
10 Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations ......Page 283
11 Model Checking Algorithms for the mu-Calculus ......Page 314
III PROGRAMMING LANGUAGES ......Page 343
12 A Type-Theoretic Interpretation of Standard ML ......Page 344
13 Unification and Polymorphism in Region Inference ......Page 391
14 The Foundations of Esterel ......Page 426
15 Pict: A Programming Language Based on the Pi-Calculus ......Page 456
IV CONCURRENCY ......Page 496
16 On the Star Height of Unary Regular Behaviours ......Page 497
17 Combining the Typed Lambda-Calculus with CCS ......Page 510
18 Discrete Time Process Algebra with Silent Step ......Page 533
19 A Complete Axiom System for Finite-State Probabilistic Processes ......Page 568
V MOBILITY ......Page 593
20 A Calculus of Communicating Systems with Label Passing — Ten Years After ......Page 594
21 Trios in Concert ......Page 618
22 Concurrent Objects as Mobile Processes ......Page 633
23 Lambda-Calculus, Multiplicities, and the Pi-Calculus ......Page 653
24 Lazy Functions and Mobile Processes ......Page 684
Contributors ......Page 714
