Abstract
Well-foundedness and inductive properties of relations are expressed in terms of fixed points. A class of fixed point equations, called “hylo” equations, is introduced. A methodology of recursive program design based on the use of hylo equations is presented. Current research on generalisations of well-foundedness and inductive properties of relations, making these properties relative to a datatype, is introduced.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. C. Backhouse. Program Construction and Verification. Prentice-Hall International, 1986.
R. C. Backhouse, P. de Bruin, P. Hoogendijk, G. Malcolm, T. S. Voermans, and J. van der Woude. Polynomial relators. In M. Nivat, C. S. Rattray, T. Rus, and G. Scollo, editors, Proceedings of the 2nd Conference on Algebraic Methodology and Software Technology, AMAST’91, pages 303–326. Springer-Verlag, Workshops in Computing, 1992.
R. C. Backhouse, P. de Bruin, G. Malcolm, T. S. Voermans, and J. van der Woude. Relational catamorphisms. In Möller B., editor, Proceedings of the IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications, pages 287–318. Elsevier Science Publishers B. V., 1991.
Roland Backhouse and Paul Hoogendijk. Final dialgebras: From categories to allegories. Theoretical Informatics and Applications, 33(4/5):401–426, 1999.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming. An introduction. In S. D. Swierstra, editor, 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, 12th–19th September, 1998, volume LNCS 1608, pages 28–115. Springer Verlag, 1999.
R. C. Backhouse and J. van der Woude. Demonic operators and monotype factors. Mathematical Structures in Computer Science, 3(4):417–433, December 1993.
Henk Doornbos and Roland Backhouse. Induction and recursion on datatypes. In B. Möller, editor, Mathematics of Program Construction, 3rd International Conference, volume 947 of LNCS, pages 242–256. Springer-Verlag, July 1995.
Henk Doornbos and Roland Backhouse. Reductivity. Science of Computer Programming, 26(1–3):217–236, 1996.
H. Doornbos, R. C. Backhouse, and J. van der Woude. A calculation approach to mathematical induction. Theoretical Computer Science, (179):103–135, 1997.
H. Doornbos. Reductivity arguments and program construction. PhD thesis, Eindhoven University of Technology, Department of Mathematics and Computing Science, June 1996.
P. J. Freyd and A. Ščedrov. Categories, Allegories. North-Holland, 1990.
D. Gries. The Science of Programming. Springer-Verlag, New York, 1981.
Paul Hoogendijk and Oege de Moor. Container types categorically. Journal of Functional Programming, 10(2):191–225, 2000.
C. A. R. Hoare and Jifeng He. The weakest prespecification. Fundamenta Informaticae, 9:51–84, 217–252, 1986.
Paul Hoogendijk. A Generic Theory of Datatypes. PhD thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, 1997.
J. Lambek. A fixpoint theorem for complete categories. Mathematische Zeitschrift, 103:151–161, 1968.
G. Malcolm. Algebraic data types and program transformation. PhD thesis, Groningen University, 1990.
G. Malcolm. Data structures and program transformation. Science of Computer Programming, 14(2–3):255–280, October 1990.
L. Meertens. Paramorphisms. Formal Aspects of Computing, 4(5):413–424, 1992.
Eric Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In FPCA’ 91: Functional Programming Languages and Computer Architecture, number 523 in LNCS, pages 124–144. Springer-Verlag, 1991.
Doaitse Swierstra and Oege de Moor. Virtual data structures. In Helmut Partsch, Bernhard Möller, and Steve Schuman, editors, Formal Program Development, volume 755 of LNCS, pages 355–371. Springer-Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Doornbos, H., Backhouse, R. (2002). Algebra of Program Termination. In: Backhouse, R., Crole, R., Gibbons, J. (eds) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. Lecture Notes in Computer Science, vol 2297. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47797-7_6
Download citation
DOI: https://doi.org/10.1007/3-540-47797-7_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43613-3
Online ISBN: 978-3-540-47797-6
eBook Packages: Springer Book Archive