توضیحات
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM’s Turing Award in 1980, the Kyoto Prize from the Inamori Foundation in 2000, and was knighted for ‘services to education and computer science’ by Queen Elizabeth II of England in 2000.
This book presents the essence of his various works–the quest for effective abstractions–both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this volume contains biographical material, his Turing award lecture, the transcript of an interview and some of his seminal papers.
Hoare’s foundational paper ‘An Axiomatic Basis for Computer Programming’, presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions. Hoare Logic and subsequent developments have formed the basis of a wide variety of software verification efforts. Hoare was instrumental in proposing the Verified Software Initiative, a cooperative international project directed at the scientific challenges of large-scale software verification, encompassing theories, tools and experiments.
Tony Hoare’s contributions to the theory and practice of concurrent software systems are equally impressive. The process algebra called Communicating Sequential Processes (CSP) has been one of the fundamental paradigms, both as a mathematical theory to reason about concurrent computation as well as the basis for the programming language occam. CSP served as a framework for exploring several ideas in denotational semantics such as powerdomains, as well as notions of abstraction and refinement. It is the basis for a series of industrial-strength tools which have been employed in a wide range of applications.
This book also presents Hoare’s work in the last few decades. These works include a rigorous approach to specifications in software engineering practice, including procedural and data abstractions, data refinement, and a modular theory of designs. More recently, he has worked with collaborators to develop Unifying Theories of Programming (UTP). Their goal is to identify the common algebraic theories that lie at the core of sequential, concurrent, reactive and cyber-physical computations.
————————————————————–
ترجمه ماشینی :
سر تونی هور تأثیر زیادی بر علم کامپیوتر داشته است، از الگوریتم Quicksort گرفته تا علم توسعه نرم افزار، همزمانی و تأیید برنامه. مشارکت های او به طور گسترده ای شناخته شده است: او جایزه تورینگ ACM در سال 1980، جایزه کیوتو از بنیاد Inamori در سال 2000، و به دلیل “خدمات به آموزش و علوم کامپیوتر” توسط ملکه الیزابت دوم انگلستان در سال 2000 نشان شوالیه شد. span>
این کتاب جوهره آثار مختلف او – جستوجو برای انتزاعهای مؤثر – را به زبان خودش و همچنین فصلهایی که توسط متخصصان برجسته در این زمینه نوشته شده است، ارائه میکند. همکاران پژوهشی او علاوه بر این، این جلد حاوی مطالب بیوگرافی، سخنرانی جایزه تورینگ، متن مصاحبه و برخی از مقالات اصلی او است. ‘، رویکرد خود را که معمولاً به عنوان Hoare Logic شناخته می شود، برای اثبات درستی برنامه ها با استفاده از ادعاهای منطقی ارائه کرد. Hoare Logic و پیشرفت های بعدی اساس طیف گسترده ای از تلاش های تأیید نرم افزار را تشکیل داده است. Hoare در پیشنهاد Verified Software Initiative، یک پروژه همکاری بینالمللی با هدف چالشهای علمی راستیآزمایی نرمافزار در مقیاس بزرگ، شامل نظریهها، ابزارها و آزمایشها، نقش اساسی داشت.
مشارکتهای تونی هور. برای تئوری و عمل سیستم های نرم افزاری همزمان به همان اندازه چشمگیر هستند. جبر فرآیندی به نام Communicating Sequential Processes (CSP) یکی از پارادایم های اساسی بوده است، هم به عنوان یک نظریه ریاضی برای استدلال در مورد محاسبات همزمان و هم به عنوان پایه ای برای زبان برنامه نویسی occam. CSP به عنوان چارچوبی برای کاوش چندین ایده در معناشناسی معنایی مانند powerdomains و همچنین مفاهیم انتزاع و پالایش عمل کرد. این کتاب مبنایی برای یک سری ابزارهای صنعتی است که در طیف گسترده ای از کاربردها به کار گرفته شده اند.
این کتاب همچنین کار Hoare در چند دهه اخیر را ارائه می دهد. این آثار شامل یک رویکرد دقیق به مشخصات در عمل مهندسی نرم افزار، از جمله انتزاع رویه ای و داده ها، پالایش داده ها، و یک نظریه مدولار از طرح ها است. اخیراً، او با همکاران خود برای توسعه تئوری های یکپارچه برنامه نویسی (UTP) کار کرده است. هدف آنها شناسایی نظریه های جبری رایج است که در هسته محاسبات متوالی، همزمان، واکنشی و سایبری-فیزیکی قرار دارند.
tag : دانلود کتاب نظریه های برنامه نویسی: زندگی و آثار تونی هور , Download نظریه های برنامه نویسی: زندگی و آثار تونی هور , دانلود نظریه های برنامه نویسی: زندگی و آثار تونی هور , Download Theories of Programming: The Life and Works of Tony Hoare Book , نظریه های برنامه نویسی: زندگی و آثار تونی هور دانلود , buy نظریه های برنامه نویسی: زندگی و آثار تونی هور , خرید کتاب نظریه های برنامه نویسی: زندگی و آثار تونی هور , دانلود کتاب Theories of Programming: The Life and Works of Tony Hoare , کتاب Theories of Programming: The Life and Works of Tony Hoare , دانلود Theories of Programming: The Life and Works of Tony Hoare , خرید Theories of Programming: The Life and Works of Tony Hoare , خرید کتاب Theories of Programming: The Life and Works of Tony Hoare ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.