JFF7: An exercise from "The Art of Computer Programming"
Abstract
This note presents a proof for a property on generating functions that I’ve learned from Donald Knuth.
Type
Publication
Technical report (JFF series)
History
- February 2008: first version of the note is made public
Computer Scientist
My research interests include software reliability, software verification, and formal methods applied to software engineering. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn. See also the Software Reliability Lab website.