Program Logics for Certified Compilers 1st Edition, Kindle Edition

2.0 out of 5 stars 1 rating
ISBN-13: 978-1107048010
ISBN-10: 110704801X
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
<Embed>
eBook features:
  • Highlight, take notes, and search in the book
  • In this edition, page numbers are just like the physical edition
  • Length: 472 pages
  • Format: Print Replica
  • Due to its large file size, this book may take longer to download
Read with the free Kindle apps (available on iOS, Android, PC & Mac) and on Fire Tablet devices. See all supported devices
This title is not supported on Kindle E-readers or Kindle for Windows 8 app. Learn more
Sold by: Amazon.com Services LLC

Deliver to your Kindle or other device


Buy for others

Give as a gift or purchase for a team or group. Learn more

Buying and sending eBooks to others


Select quantity
Buy and send eBooks
Recipients can read on any device

Additional gift options are available when buying one eBook at a time. Learn more


These ebooks can only be redeemed by recipients in the US. Redemption links and eBooks cannot be resold.

Quantity:
This item has a maximum order quantity limit.
eBook features:
  • Highlight, take notes, and search in the book
  • In this edition, page numbers are just like the physical edition
  • Length: 472 pages
  • Format: Print Replica
  • Due to its large file size, this book may take longer to download
Read with the free Kindle apps (available on iOS, Android, PC & Mac) and on Fire Tablet devices. See all supported devices
This title is not supported on Kindle E-readers or Kindle for Windows 8 app. Learn more
Sold by: Amazon.com Services LLC

Today through selected date:

Rental price is determined by end date.

Deliver to your Kindle or other device

See all 3 formats and editions Hide other formats and editions
Price
New from Used from
Kindle
$72.00

An Amazon Book with Buzz: "American Dirt" by Jeanine Cummins
"Extraordinary." - Stephen King Learn More
click to open popover

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
    Apple
  • Android
    Android
  • Windows Phone
    Windows Phone
  • Click here to download from Amazon appstore
    Android

To get the free app, enter your mobile phone number.

kcpAppSendButton

Editorial Reviews

Book Description

This book covers practical and theoretical Separation Logic suitable for graduate students. On the practical side, it covers verification in Hoare and Separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C. All constructions and proofs are given in the Coq developments of the Verified Software Toolchain.

About the Author

Andrew W. Appel is the Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University, New Jersey, 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).

Product details

  • File Size: 21143 KB
  • Print Length: 472 pages
  • Simultaneous Device Usage: Up to 4 simultaneous devices, per publisher limits
  • Publisher: Cambridge University Press; 1 edition (April 21, 2014)
  • Publication Date: April 21, 2014
  • Sold by: Amazon.com Services LLC
  • Language: English
  • ASIN: B00P82T41G
  • Text-to-Speech: Not enabled
  • X-Ray:
  • Word Wise: Not Enabled
  • Lending: Not Enabled
  • Enhanced Typesetting: Not Enabled
  • Amazon Best Sellers Rank: #1,693,297 Paid in Kindle Store (See Top 100 Paid in Kindle Store)
  • Would you like to tell us about a lower price?


Customer reviews

2.0 out of 5 stars
1 customer rating
5 star 0% (0%) 0%
4 star 0% (0%) 0%
3 star 0% (0%) 0%
2 star
100%
1 star 0% (0%) 0%


1 customer review

June 29, 2018
Format: Hardcover