Program Derivation for Functional Languages by Felienne Hermans.
From the webpage:
Program Derivation for Functional Languages
Program derivation of course was all the rage in the era of Dijkstra, but is it still relevant today in the age of TDD and model checking? Felienne thinks so!
In this session she will show you how to systematically and step-by-step derive a program from a specification. Functional languages especially are very suited to derive programs for, as they are close to the mathematical notation used for proofs.
You will be surprised to know that you already know and apply many techniques for derivation, like Introduce Parameter as supported by Resharper. Did you know that is actually program derivation technique called generalization?
…
I don’t normally post about local meetups but as it says in the original post, Felienne is an extraordinary speaker and the topic is an important one.
Personally I am hopeful that at least slides and/or perhaps even video will emerge from this presentation.
If you can attend, please do!
In the meantime, if you need something to tide you over, consider:
A Calculus of Functions for Program Derivation by Richard Bird (1987).
Lectures on Constructive Functional Programming by R.S. Bird (1988).
Richard Bird’s Publication page.
A brief introduction to the derivation of programs by Juris Reinfelds (1986).