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

ไฟล์: