DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click

HERE to register or log in.

# Accession Number:

## ADA165879

# Title:

## Preliminary Investigation of a Calculus of Functional Differences: Fixed Differences,

# Descriptive Note:

# Corporate Author:

## NAVAL POSTGRADUATE SCHOOL MONTEREY CA

# Report Date:

## 1986-02-01

# Pagination or Media Count:

##
28.0

# 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 fh x gf 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

# Distribution Statement:

## APPROVED FOR PUBLIC RELEASE

#