£39.63

Functional Data Structures and Algorithms: A Proof Assistant Approach

Algorithms

Price data last checked 62 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 29 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £40 (15 days, 51.7%)

Price range: £40 - £46

Price levels: 2 different prices over 29 days

Description

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees. The book covers both correctness (does the algorithm do what it is supposed to do?) and running time analysis (does the algorithm terminate within a specified number of steps?). It does so in a unified manner with inductive proofs about functional programs and their running time functions. What sets this book apart from existing books on algorithms is that all proofs have been machine-checked, by the proof assistant Isabelle. That is, in addition to the text in the book, which requires no knowledge of proof assistants!, the Isabelle definitions and proofs are available online. The structured nature of Isabelle proofs permits even novices to follow the high-level arguments. This book is aimed at teachers and students (it has been classroom-tested for a number of years) but is also a reference work for programmers and researchers who are interested in the (verified!) details of some algorithm or proof.

Product Specifications

Format: paperback
ASIN: B0FSD6B3ZR
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 30 September 2025
Listed Since: 24 September 2025

Barcode

No barcode data available

Functional Data Structures and Algorithms: A Proof Assistant Approach

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Functional Data Structures and Algorithms: A Proof Assistant Approach

Algorithms and Data Structures: The Basic Toolbox

Algorithmic Thinking: A Problem-Based Introduction

Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis

Concrete Semantics: With Isabelle/HOL

Algorithms and Data Structures in Action

Algorithmen - Eine Einführung

Problems on Algorithms: A Comprehensive Exercise Book for Students in Software Engineering

Data Structures and Algorithms with Python: With an Introduction to Multiprocessing (Undergraduate Topics in Computer Science)

Guide to Competitive Programming: Learning and Improving Algorithms Through Contests (Undergraduate Topics in Computer Science)

The Power of Algorithms: Inspiration and Examples in Everyday Life

Algorithms on Trees and Graphs: With Python Code (Texts in Computer Science)

Data Structures & Algorithms in Python (Developer's Library)

Algorithms and Data Structures for Massive Datasets

Parameterized Algorithms

Purely Functional Data Structures

Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis

Implementing Useful Algorithms in C++

Thinking About Programs (ACM Books)

The Algorithm Design Manual (Texts in Computer Science)

A Textbook of Data Structures and Algorithms, Volume 1: Mastering Linear Data Structures (Textbook of Data Structures and Algorithms, 1)

Algorithms on Trees and Graphs: With Python Code (Texts in Computer Science)

Algorithms in Action

Fundamentals of Data Structures: DS