عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 A65 2014
QA76
.
76
.
V47
A65
2014
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
110704801X (hardback)
(Number (ISBN
9781107048010 (hardback)
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Program logics for certified compilers /
General Material Designation
[Book]
First Statement of Responsibility
Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 458 pages :
Other Physical Details
illustrations ;
Dimensions
24 cm
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
CONTENTS NOTE
Text of Note
Generic separation logic -- Hoare logic -- Separation logic -- Soundness of Hoare logic -- Mechanized semantic library -- Separation algebras -- Operators on separation algebras -- First-order separation logic -- A little case study -- Covariant recursive predicates -- Share accounting -- Higher order separation logic -- Separation logic as a logic -- From separation algebras to separation logic -- Simplification by rewriting -- Introduction to step-indexing -- Predicate implication and subtyping -- General recursive predicates -- Case study: separation logic with first-class functions
0
TOPICAL NAME USED AS SUBJECT
Compilers (Computer programs)
Computer software-- Verification
Logic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/4
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Book number
A65
2014
PERSONAL NAME - PRIMARY RESPONSIBILITY
Appel, Andrew W.,1960-
ORIGINATING SOURCE
Date of Transaction
20160712084147.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
