Algebraic Identities for Program Calculation
The Computer JournalPublished 1 February 1989Open access
Richard Bird
Citations98
SJR quartileQ2
SJR score0.48
SNIP0.86
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
To calculate a program means to derive it from a suitable specification by a process of equational reasoning. We describe a number of basic algebraic identities that turn out to be extremely useful in this task. These identities express relationship between the higher-order functions commonly encountered in functional programming. The idea of program calculation is illustrated with two non-trivial examples.
Keywords
Computer Science