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
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )