عنوان
پدید آورنده
موضوع
رده
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
