Boiten, E.A. (1992) Factorisation of the Factorial -- an example of inverting the flow of computation. Periodica Polytechnica Ser. El. Eng, 35 (2). pp. 77-99.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
Condensed version of the /pubs/1990/165 and PhD thesis chapter, including aspects of /pubs/1992/159/ Presented at Seminar on Formal Techniques in Programming Technology, G''od, Hungary, September 3-6, 1990.
|Uncontrolled keywords:||transformational programming, factorial, inversion of computation|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||07 Aug 2009 22:18|
|Last Modified:||07 Aug 2009 22:18|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21079 (The current URI for this page, for reference purposes)|
- Depositors only (login required):