Factorisation of the Factorial -- an example of inverting the flow of computation

Boiten, Eerke (1992) Factorisation of the Factorial -- an example of inverting the flow of computation. Periodica Polytechnica: Electrical Engineering, 35 (2). pp. 77-99. ISSN 0324-6000. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

Abstract

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.

Item Type: Article
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: 12 May 2014 12:57
Resource URI: http://kar.kent.ac.uk/id/eprint/21079 (The current URI for this page, for reference purposes)
  • Depositors only (login required):