Clicky

Program Logics for Certified Compilers by Andrew W. Appel and similar books you'll love - Bookscovery

Home > Authors > Andrew W. Appel > Program Logics for Certified Compilers

Buy at: Bookshop.org Amazon

Program Logics for Certified Compilers

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy

Recent activity

Rate this book to see your activity here.

7 Books Similar to Program Logics for Certified Compilers by Andrew W. Appel

Bookscovery readers who liked Program Logics for Certified Compilers also like Alan Turing's Systems of Logic, Alan Turing's Systems of Logic: The Princeton Thesis and Compiling with Continuations. How many of these have you read?

Alan Turing's Systems of Logic by Andrew W. Appel

Cover of Alan Turing's Systems of Logic
Buy this book at:
Bookshop.org Amazon

Alan Turing's Systems of Logic: The Princeton Thesis by Andrew W. Appel

Cover of Alan Turing's Systems of Logic: The Princeton Thesis
Buy this book at:
Bookshop.org Amazon

Compiling with Continuations by Andrew W. Appel

Cover of Compiling with Continuations
Buy this book at:
Bookshop.org Amazon

Modern Compiler Implementation in Java by Andrew W. Appel

Cover of Modern Compiler Implementation in Java
Buy this book at:
Bookshop.org Amazon

Modern Compiler Implementation in ML by Andrew W. Appel

Cover of Modern Compiler Implementation in ML
Buy this book at:
Bookshop.org Amazon

Modern Compiler Implement Java 2ed by Andrew W. Appel

Cover of Modern Compiler Implement Java 2ed
Buy this book at:
Bookshop.org Amazon

Verified Software. Theories, Tools, and Experiments by Sandrine Blazy

Cover of Verified Software. Theories, Tools, and Experiments
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Program Logics for Certified Compilers

Please sign in to leave a comment