Record:   Prev Next
作者 Appel, Andrew W., 1960-
書名 Program logics for certified compilers / Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
出版項 New York, NY : Cambridge University Press, 2014
國際標準書號 9781107048010 (hardback)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 A646    到期 12-04-20    30330000230263
說明 x, 458 pages : illustrations ; 24 cm
text rdacontent
unmediated rdamedia
volume rdacarrier
附註 Includes bibliographical references (pages 442-451) 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
主題 Computer software -- Verification
Logic, Symbolic and mathematical
Compilers (Computer programs)
Record:   Prev Next