Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Concrete Semantics - With Isabelle/HOL (Hardcover, 2014 ed.)
Loot Price: R2,319
Discovery Miles 23 190
|
|
Concrete Semantics - With Isabelle/HOL (Hardcover, 2014 ed.)
Expected to ship within 12 - 17 working days
|
Part I of this book is a practical introduction to working with the
Isabelle proof assistant. It teaches you how to write functional
programs and inductive definitions and how to prove properties
about them in Isabelle's structured proof language. Part II is an
introduction to the semantics of imperative languages with an
emphasis on applications like compilers and program analysers. The
distinguishing feature is that all the mathematics has been
formalised in Isabelle and much of it is executable. Part I
focusses on the details of proofs in Isabelle; Part II can be read
even without familiarity with Isabelle's proof language, all proofs
are described in detail but informally. 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. In this sense it represents a formal approach to
computer science, not just semantics. The Isabelle formalisation,
including the proofs and accompanying slides, are freely available
online, and the book is suitable for graduate students, advanced
undergraduate students, and researchers in theoretical computer
science and logic.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.