Logo

Concrete Semantics: With Isabelle/HOL

Large book cover: Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL
by

Publisher: Springer
ISBN/ASIN: 3319105418
Number of pages: 308

Description:
The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable.

Home page url

Download or read it online for free here:
Download link
(1.6MB, PDF)

Similar books

Book cover: Formal LanguagesFormal Languages
by - Tampere University of Technology
In these notes the classical Chomskian formal language theory is fairly fully dealt with, omitting however much of automata constructs and computability issues. Surveys of Lindenmayer system theory and the mathematical theory of codes are given.
(5221 views)
Book cover: Understanding Programming LanguagesUnderstanding Programming Languages
by - John Wiley & Sons
The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.
(13182 views)
Book cover: Exploring Programming Language Architecture in PerlExploring Programming Language Architecture in Perl
by
This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.
(12144 views)
Book cover: Elements of ProgrammingElements of Programming
by - Semigroup Press
This book applies the deductive method to programming by affiliating programs with the abstract mathematical theories. Specification of these theories, algorithms and theorems and lemmas describing their properties are presented together.
(1691 views)