عنوان
پدید آورنده
موضوع
رده
QA76.7 .H377 2016
QA76
.
7
.
H377
2016
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1107150302
(Number (ISBN
9781107150300
Erroneous ISBN
9781316655733 (PDF ebook)
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Practical foundations for programming languages /
General Material Designation
[Book]
First Statement of Responsibility
Robert Harper, Carnegie Mellon University.
EDITION STATEMENT
Edition Statement
Second edition.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York NY :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
2016.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 494 pages ;
Dimensions
27 cm
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 479-485) and index.
CONTENTS NOTE
Text of Note
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
SUMMARY OR ABSTRACT
Text of Note
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.
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9781316655733
TOPICAL NAME USED AS SUBJECT
Programming languages (Electronic computers)
Programming languages (Electronic computers)
UNIVERSAL DECIMAL CLASSIFICATION (UDC)
Number
004.43
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
7
Book number
.
H377
2016
PERSONAL NAME - PRIMARY RESPONSIBILITY
Harper, Robert,1957-
ORIGINATING SOURCE
Date of Transaction
20200822150048.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
