Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Title |
Concrete Semantics With Isabelle / Hol / Tobias Nipkpw, Gerwin Klein. |
|
Imprint |
Cham : Springer International Publishing, 2014. |
|
1 copy being processed for Axe Acquisitions Order.
|
Description |
xiii, 298 p. : ill. ; 24 cm. |
Bibliography |
Includes bibliographic references and index. |
Contents |
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 |
Subject |
Automatic theorem proving.
|
|
Computer science.
|
|
Logic design.
|
Added Author |
Klein, Gerwin.
|
ISBN |
9783319105413 |
|
3319105418 |
|