Affordable Access

Publisher Website

Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
225
Identifiers
DOI: 10.1016/j.entcs.2008.12.068
Keywords
  • Definite Descriptions
  • Functional Programming
  • Assertions
  • Partial And Total Correctness

Abstract

Abstract The use of Frege-Russell style definite descriptions for giving meaning to functions has been long established and we investigate their use in the development of Functional Programs and from these to the development of correct imperative programs. In particular, we investigate the development of a functional program for a problem, “Odd powers of odd integers”, discussed by Dijsktra. If the correctness of termination is not a concern then it is straightforward to develop a partially correct program. Further properties of the specification are needed to develop a totally correct program.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Waring's problem:g(1, 4) = 21 for fourth powers of...

on Computers & Mathematics with A... Jan 01, 1989

On sums of powers of integers

on Journal of Number Theory Jan 01, 1979

The Frobenius problem, sums of powers of integers,...

on Journal of Number Theory Jan 01, 2006

Almost perfect powers in consecutive integers (II)

on Indagationes Mathematicae Jan 01, 2008
More articles like this..