عنوان
پدید آورنده
موضوع
رده
QA76.7 .H377 2016
QA76
.
7
.
H377
2016
کتابخانه
محل استقرار
1107150302
9781107150300
9781316655733 (PDF ebook)
Practical foundations for programming languages /
[Book]
Robert Harper, Carnegie Mellon University.
Second edition.
New York NY :
Cambridge University Press,
2016.
xviii, 494 pages ;
27 cm
Includes bibliographical references (pages 479-485) and index.
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.
0
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.
9781316655733
Programming languages (Electronic computers)
Programming languages (Electronic computers)
004.43
005
.
13
23
QA76
.
7
.
H377
2016
Harper, Robert,1957-
20200822150048.0
rda
مطالعه متن کتاب [Book]
Y
