Preliminary Investigation of a Calculus of Functional Differences: Fixed Differences,
Abstract
This document introduces a notion of functional differences in which the difference of a function f with respect to a function h is that function g that describes how the value of f changes when its argument is altered by h: f(h x) = g(f x). It also introduce the inverse operation of functional integration and derive useful properties of both operations. The result is a calculus that facilitates derivation and reasoning about recursive programs. This is illustrated in a number of simple examples. The author presents preliminary results pertaining to fixed differences, that is, functional differences that do not depend on the value of the argument x. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1986
- Accession Number
- ADA165879
Entities
People
- Bruce J MacLennan
Organizations
- Naval Postgraduate School