This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Rydberg Ensembles for Quantum Networking
"
Craddock, Alexander Nicholas
Rolston, Steve
Document Type
:
BL
Record Number
:
839075
Main Entry
:
Harper, Robert,1957-
Title & Author
:
Practical foundations for programming languages /\ Robert Harper, Carnegie Mellon University.
Edition Statement
:
Second edition.
Publication Statement
:
New York NY :: Cambridge University Press,, 2016.
Page. NO
:
xviii, 494 pages ;; 27 cm
ISBN
:
1107150302
:
: 9781107150300
:
9781316655733 (PDF ebook)
Bibliographies/Indexes
:
Includes bibliographical references (pages 479-485) and index.
Contents
:
Judgments and rules -- Statistics and dynamics -- Total functions -- Finite data types -- Types and propositions -- Infinite data types -- Variable types -- Partiality and recursive types -- Dynamic types -- Subtyping -- Dynamic dispatch -- Control flow -- Symbolic data -- Mutable state -- Parallelism -- Concurrency and distribution -- Modularity -- Equational reasoning.
Abstract
:
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. --Amazon.
Subject
:
Programming languages (Electronic computers)
Subject
:
Programming languages (Electronic computers)
Dewey Classification
:
005.13
LC Classification
:
QA76.7.H377 2016
https://lib.clisel.com/site/catalogue/1058088
کپی لینک
پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
2497012384_14186.pdf
2497012384.pdf
پایان نامه لاتین
متن
application/pdf
2.42 MB
85
85
نمایش
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن