عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 A65 2014
QA76
.
76
.
V47
A65
2014
کتابخانه
محل استقرار
110704801X (hardback)
9781107048010 (hardback)
dltt
Program logics for certified compilers /
[Book]
Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
ix, 458 pages :
illustrations ;
24 cm
Includes bibliographical references and index
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
Compilers (Computer programs)
Computer software-- Verification
Logic, Symbolic and mathematical
005
.
1/4
23
QA76
.
76
.
V47
A65
2014
Appel, Andrew W.,1960-
20160712084147.0
rda
مطالعه متن کتاب [Book]
Y
