Concrete Semantics: With Isabelle/HOL - Image 1

£41.29

Springer Concrete Semantics: With Isabelle/HOL

Name: Concrete Semantics: With Isabelle/HOL
Brand: Springer
Price: 41.56 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 35 days • 35 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 35 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £41 (21 days, 60.0%)

Price range: £40 - £42

Price levels: 3 different prices over 35 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 331935759X
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 10 September 2016
Listed Since: 01 September 2016

Barcode

No barcode data available

Springer Concrete Semantics: With Isabelle/HOL

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Concrete Semantics: With Isabelle/HOL

Functional Data Structures and Algorithms: A Proof Assistant Approach

Functional Data Structures and Algorithms: A Proof Assistant Approach

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Mathematical Logic for Computer Science

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Formal Language: A Practical Introduction

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Lectures on the Curry-Howard Isomorphism

Proof and System-Reliability: v. 62 (NATO Science Series II)

Logic for Applications (Texts in Computer Science)

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Transitions and Trees: An Introduction to Structural Operational Semantics

Springer - Logics of Specification Languages Monograph

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

An Introduction to Formal Language Theory (Monographs in Computer Science)

A Programming Approach to Computability (Monographs in Computer Science)

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Foundations of Inductive Logic Programming: 1228 (Lecture Notes in Computer Science, 1228)