Functional Algorithms, Verified!

Main
Functional Algorithms, Verified!

Functional Algorithms, Verified!

Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan

0 / 5.0

0 comments

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

This book is an introduction to data structures and algorithms for functional languages, with a focus on proofs. It covers both functional correctness and running time analysis. It does so in a unified manner with inductive proofs about functional programs and their running time functions. All proofs have been machine-checked by the proof assistant Isabelle. The pdf contains links to the corresponding Isabelle theories.

Том:

Година:

2021

Издание:

1st

Издателство:

Independent

Език:

english

Страници:

276

Файл: