Concrete Semantics: With Isabelle/Hol

by Gerwin Klein and Tobias Nipkow

Book Overview

Introduction.- Programming and Proving.- Case Study: IMP Expressions.- Logic and Proof Beyond Equality.- Isar: A Language for Structured Proofs.- IMP: A Simple Imperative Language.- Compiler.- Types.- Program Analysis.- Denotational Semantics.- Hoare Logic.- Abstract Interpretation.- App. A, Auxiliary Definitions.- App. B, Symbols.- References.

• Format: Paperback
• Language: English
• ISBN: 331935759X
• ISBN13: 9783319357591
• Release Date: September 2016
• Publisher: Springer
• Length: 298 Pages
• Weight: 0.97 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"