An Introduction to the Bird−Meertens Formalism
Jeremy Gibbons
Abstract
The Bird-Meertens Formalism, or `Squiggol', is a calculus for the construction of programs from their specifications by a process of equational reasoning. Developments are directed by considerations of \em data, as opposed to \em program, structure. \par This paper presents a brief introduction to the philosophy and notation of the calculus, in the guise of the (well-known) derivation of a linear-time solution to the `maximum segment sum' problem.
Details
| Address |
Hamilton |
| Book Title |
Proceedings of the First New Zealand Formal Program Development Colloquium |
| Editor |
Steve Reeves |
| Month |
nov |
| Pages |
1–12 |
| Year |
1994 |
Links
Related pages
|
People |
|
|
Activities |