© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Factorisation of the factorial - an example of inverting the flow of computation
E.A. Boiten
Periodica Polytechnica Ser. El. Eng, 35(2):182-196, January 1992.Abstract
Condensed version of the techreport and PhD thesis chapter, including aspects of ``Improving recursive functions..."
Presented at Seminar on Formal Techniques in Programming Technology, G\"od, Hungary, September 3-6, 1990.
Bibtex Record
@article{170,
author = {E.A. Boiten},
title = {Factorisation of the Factorial -- an example of inverting the flow of computation},
month = {January},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/170},
journal = {Periodica Polytechnica Ser. El. Eng},
number = {2},
volume = {35},
}