Items related to Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL - Softcover

Nipkow, Tobias; Klein, Gerwin

 
9783319105437: Concrete Semantics: With Isabelle/HOL
Softcover
ISBN 10: 3319105434 ISBN 13: 9783319105437
Publisher: Springer, 2015

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2015
  • ISBN 10 3319105434
  • ISBN 13 9783319105437
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319105413: Concrete Semantics: With Isabelle/HOL

Featured Edition

ISBN 10:  3319105418 ISBN 13:  9783319105413
Publisher: Springer, 2014
Hardcover