formal methods for functional programming

Some simple derivations of recursive functions

The following are some personal notes on how a study of classical mathematical notations can help us to derive algorithms. The functions obtained in this way are simple enough to understand and clarify the technique used. As an aside, I… Continue Reading →

Share Button

© 2022 — Powered by WordPress

Theme by Anders NorenUp ↑