|
|
|
|
|
|
by amw-zero
1708 days ago
|
|
|
From section 1.1: > The programs in this book are written in Isabelle’s functional programming language From what I can tell, Binomial Heaps also have a runtime analysis. Not sure what you’re referring to with “heapify.” I would encourage others to ignore this snide comment. I have read other books from the authors, particularly Concrete Semantics, and it’s honestly incredible what can be achieved with Isabelle. Obviously it’s not going to be interesting if formal verification isn’t your thing, but if it is, the content is priceless. |
|
|