Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Concrete Semantics: With Isabelle/HOL

Buy
Concrete Semantics: With Isabelle/HOL, 9783319105413 (3319105418), Springer, 2014

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.

(HTML tags aren't allowed.)

Qt 5 and OpenCV 4 Computer Vision Projects: Get up to speed with cross-platform computer vision app development by building seven practical projects
Qt 5 and OpenCV 4 Computer Vision Projects: Get up to speed with cross-platform computer vision app development by building seven practical projects

Create image processing, object detection and face recognition apps by leveraging the power of machine learning and deep learning with OpenCV 4 and Qt 5

Key Features

  • Gain practical insights into code for all projects covered in this book
  • Understand modern computer vision...
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science)
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses (Lecture Notes in Computer Science)
The authors present a systematic development of the concurrent object-oriented agent programming language Guarded Definite Clauses (GDC). In contrast to other languages used in agent programming, like Java, Telescript, and Agent-TCL, this language is derived from the artificial intelligence programming tradition and emphasizes AI applications. The...
Beyond the C++ Standard Library: An Introduction to Boost
Beyond the C++ Standard Library: An Introduction to Boost

Introducing the Boost libraries: the next breakthrough in C++ programming

Boost takes you far beyond the C++ Standard Library, making C++ programming more elegant, robust, and productive. Now, for the first time, a leading Boost expert...


Visual Studio 2010 and .NET 4 Six-in-One (Wrox Programmer to Programmer)
Visual Studio 2010 and .NET 4 Six-in-One (Wrox Programmer to Programmer)

Complete coverage of all key .NET 4 and Visual Studio 2010 languages and technologies

.NET 4 is Microsoft's latest version of their core programming platform, and Visual Studio 2010 is the toolset that helps write .NET 4 applications. This comprehensive resource offers one-stop shopping for all you need to know to get...

First Aid for the USMLE Step 1: 2008 (First Aid USMLE)
First Aid for the USMLE Step 1: 2008 (First Aid USMLE)

With the 2008 edition of First Aid for the® USMLE Step 1, we continue our commitment to providing students with the most useful and up-to-date preparation guide for the USMLE Step 1. This edition represents a major revision in many ways and includes:

A revised and updated exam preparation guide for the USMLE Step 1.
...

jQuery for Designers: Beginner's Guide
jQuery for Designers: Beginner's Guide
Thank you for reading jQuery for Designers. This book is intended for designers who have a basic understanding of HTML and CSS, but want to advance their skill set by learning some basic JavaScript. Even if you've never attempted to write JavaScript before, this book will step you through the process of setting up some basic...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy