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 Language Theory for Natural Language ProcessingFormal Language Theory for Natural Language Processing
by - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(6710 views)
Book cover: Partial Evaluation and Automatic Program GenerationPartial Evaluation and Automatic Program Generation
by - Prentice Hall
The book about partial evaluation, a program optimization technique also known as program specialization. It presents principles for constructing partial evaluators for a variety of programming languages, and gives references to the literature.
(12037 views)
Book cover: Semantics of Programming LanguagesSemantics of Programming Languages
by - University of Cambridge
These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.
(4427 views)
Book cover: Programming Languages: Application and InterpretationProgramming Languages: Application and Interpretation
by - Lulu.com
The textbook for a programming languages course, taken primarily by advanced undergraduate and beginning graduate students. This book assumes that students have modest mathematical maturity, and are familiar with the existence of the Halting Problem.
(8561 views)