Adding Design Strategies to Fork Algebras

FRIAS, MARCELO FABIAN; BAUM, GABRIEL; HAEBERER, ARMANDO MARTIN

LECTURE NOTES IN COMPUTER SCIENCE

Springer

Año: 1996 vol. 1181 p. 214 - 226

0302-9743

The representation theorem for fork algebras was always misunderstood regarding its applications in program construction. Its application was always described as “the portability of properties of the problem domain into the abstract calculus of fork algebras”. In this paper we show that the results provided by the representation theorem are by far more important. Here we show that not only the heuristic power coming from concrete binary relations is captured inside the abstract calculus, but also design strategies for program development can be successfully expressed. This result makes fork algebras a programming calculus by far more powerful than it was previously thought.