Program Logics for Certified Compilers - Appel, Andrew W. (Princeton University, New Jersey) - Books - Cambridge University Press - 9781107048010 - April 21, 2014
In case cover and title do not match, the title is correct

Appel, Andrew W. (Princeton University, New Jersey)
Program Logics for Certified Compilers

Price
$ 136.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 5 - 15, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

367 pages, 52 b/w illus.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 21, 2014
ISBN13 9781107048010
Publishers Cambridge University Press
Pages 472
Dimensions 236 × 161 × 28 mm   ·   848 g   (Weight (estimated))
Language English  

More by Appel, Andrew W. (Princeton University, New Jersey)

Show all

See all of Appel, Andrew W. (Princeton University, New Jersey) ( e.g. Paperback Book and Hardcover Book )