Program Logics For Certified Compilers(1st Edition)
Authors:
Andrew W Appel ,Robert Dockins ,Aquinas Hobor ,Lennart Beringer ,Josiah Dodds ,Gordon Stewart ,Sandrine Blazy ,Xavier Leroy
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 110704801X, 978-1107048010
Book publisher: Cambridge University Press
Book Price $0 : 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.
Customers also bought these books
Fundamentals of Ethics for Scientists and Engineers - 1st Edition
Edmund G. Seebauer
ISBN: 9780195698480, 195134885, 195698487, 978-0195134889
$0 $19.98
Principles of Corporate Finance - 7th edition
Richard A. Brealey
ISBN: 72869461, 72467665, 9780072467666, 978-0072869460
$0 $64.54
Programming With Microsoft Visual Basic 2017 - 8th Edition
Diane Zak
ISBN: 1337102121, 9781337517058, 978-1337102124
$0 $11.54
Flash Mx 2004 Actionscript - 1st Edition
Daniel De La Cruz Heras
ISBN: 844151710X, 978-8441517103
$0 $4.33
Handbook Of Open Source Tools - 1st Edition
Sandeep Koranne
ISBN: 1489991492, 978-1489991492
$61.42 $87.74
Direct Marketing Rules Of Thumb 1 000 Practical And Profitable Ideas To Help You Improve Response Save Money And Increase Efficiency In Your Direct Program - 1st Edition
Nat G Bodian
ISBN: 0070063400, 978-0070063402
$0 $6.50
Exploring Dreamweaver Mx 2004 - 1st Edition
James L Mohler
ISBN: 1401843859, 978-1401843854
$0 $4.50
Infoplex Data Base Computer Architecture Concepts And Directions - 1st Edition
Chat Yu Lam
ISBN: 1342074963, 978-1342074966
$0 $17.95
Mosby's Pharmacy Technician Principles And Practice - 6th Edition
Elsevier
ISBN: 0275973689, 978-0275973681
$0 $52.24
Cybersecurity Incident Management Masters Guide Volume 1 Preparation Threat Response And Post-Incident Activity - 1st Edition
Colby A Clark
ISBN: B08BTZ8KGT, 979-8656487900
$0 $36.99
Foundations Of Vedantic Physics The Cosmic Law Of Gravitation The Symmetric Coherent Universe -
N. D. Srivastava
ISBN: 0978155815, 9780978155810
$0 $33.00
Flash Mx 2004 Actionscript - 1st Edition
Daniel De La Cruz Heras
ISBN: 844151710X, 978-8441517103
$0 $4.33
Amazon Echo Buch 2018 Das Detaillierteste Handbuch Fur Alexa Echo Show Echo Plus Fire Tv Echo Connect Echo 2 And Echo Buttons Anleitungen Skills And Lustiges 2018 - 1st Edition
Alexander Lechoba
ISBN: 1973480204, 978-1973480204
$0 $6.95Popular Among Students
ADTs, Data Structures, And Problem Solving With C++ - 2nd Edition
Larry Nyhoff
ISBN: 0131409093, 9780131409095
$0 $64.14
Tort Law Text Cases And Materials - 5th Edition
Jenny Steele
ISBN: 0198853912, 978-0198853916
$0 $43.06
Engineering Problem Solving With C++ - 3rd Edition
Delores M Etter
ISBN: 0132492652, 9780132492652
$0 $15.18
JavaScript The Web Warrior Series - 6th Edition
Sasha Vodnik
ISBN: 1305078446, 9781305078444
$0 $20.41
Ocooch Mountain Rocks Ancient Cave Stone - 1st Edition
Eric Jonathan Zingler
ISBN: 1964073022, 978-1964073026
$0 $26.95
Operating Systems Internals And Design Principles - 9th Edition
William Stallings
ISBN: 0134670957, 978-0134670959
$113.4 $162.00
Graph Based Representations In Pattern Recognition 13th Iapr Tc 15 International Workshop Gbrpr 2023 Vietri Sul Mare Italy September 6a 8 2023 Proceedings - 1st Edition
Mario Vento
ISBN: 3031427947, 978-3031427947
$0 $59.99
Androids The Team That Built The Android Operating System - 1st Edition
Chet Haase
ISBN: 1718502680, 978-1718502680
$0 $18.00
Circular Bioeconomy Towards A Sustainable Future - 1st Edition
Fazia Adyani Ahmad Fuad
ISBN: 9819770092, 978-9819770090
$83.31 $119.01
Data Capital How Data Is Reinventing Capital For Globalization - 1st Edition
Chunlei Tang
ISBN: 3030601943, 978-3030601942
$89.99 $128.55
Mangroves And Aquaculture A Five Decade Remote Sensing Analysis Of Ecuadors Estuarine Environments - 1st Edition
Stuart E Hamilton
ISBN: 303022239X, 978-3030222390
$0 $38.01