Program Logics for Certified Compilers 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


Program Logics for Certified Compilers

簡體網頁||繁體網頁
Andrew W. Appel 作者
Cambridge University Press
譯者
2014-4-21 出版日期
367 頁數
USD 85.00 價格
Hardcover
叢書系列
9781107048010 圖書編碼

Program Logics for Certified Compilers 在線電子書 圖書標籤: 編譯原理  編程  程序設計  compiler  計算機  編譯器  編程語言  pl   


喜歡 Program Logics for Certified Compilers 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-23

Program Logics for Certified Compilers 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Program Logics for Certified Compilers 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Program Logics for Certified Compilers 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



Program Logics for Certified Compilers 在線電子書 用戶評價

評分

評分

評分

評分

評分

Program Logics for Certified Compilers 在線電子書 著者簡介

Andrew W. Appel is the Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University, where he has been on the faculty since 1986. His research is in software verification, computer security, programming languages and compilers, automated theorem proving, and technology policy. He is known for his work on Standard ML of New Jersey and on Foundational Proof-Carrying Code. He is a Fellow of the Association for Computing Machinery, recipient of the ACM SIGPLAN Distinguished Service Award, and has served as Editor in Chief of ACM Transactions on Programming Languages and Systems. His previous books include Compiling with Continuations (1992), the Modern Compiler Implementation series (1998 and 2002) and Alan Turing's Systems of Logic (2012).


Program Logics for Certified Compilers 在線電子書 著者簡介


Program Logics for Certified Compilers 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Program Logics for Certified Compilers 在線電子書 圖書描述

Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of Separation Logic at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verification in Hoare and Separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras as models of separation logics; step-indexed models of higher-order logical features for higher-order programs; indirection theory for constructing step-indexed separation algebras; tree-shares as models for shared ownership; and the semantic construction (and soundness proof) of Verifiable C. In addition, the book covers several aspects of the CompCert verified C compiler, and its connection to foundationally verified software analysis tools. All constructions and proofs are made rigorous and accessible in the Coq developments of the open-source Verified Software Toolchain.

Program Logics for Certified Compilers 在線電子書 下載 mobi epub pdf txt 在線電子書下載


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Program Logics for Certified Compilers 在線電子書 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

Program Logics for Certified Compilers 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





Program Logics for Certified Compilers 在線電子書 相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有