Price loading...

Functional Data Structures and Algorithms: A Proof Assistant Approach

Algorithms

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

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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: hardcover
ASIN: B0FSD3TQY5
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

No Price Data Available

Price Distribution

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

Algorithmen - Eine Einführung

Algorithmic Thinking: A Problem-Based Introduction

Concrete Semantics: With Isabelle/HOL

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

Algorithms and Data Structures in Action

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

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

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

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

Algorithms and Data Structures for Massive Datasets

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

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)

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

Algorithms in Action

ML for the Working Programmer

Introduction to Parallel Algorithms (Wiley Series on Parallel and Distributed Computing)

Parameterized Algorithms

The Power of Algorithms: Inspiration and Examples in Everyday Life

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

Purely Functional Data Structures

Techniques for Designing and Analyzing Algorithms (Chapman & Hall/CRC Cryptography and Network Security Series)