| 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
|