By Topic

Comments on "Defining software by continuous smooth functions" by R.A. De Millo and R.J. Lipton

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Foo, N.Y. ; Basser Dept. of Comput. Sci., Sydney Univ., NSW, Australia

The commenter agrees with R.A. De Millo and R.S. Lipton's assertion in the above-titled work (see ibid., vol.17, no.4, p.383-4, 1991) that continuous, smooth functions of comparable complexity can be used to represent Boolean functions computed by programs. The commenter reconciles this assertion with a referee's objection that the discontinuity of software resides in the large changes of behavior that results from small changes of code, which was countered by the authors by arguing that this notion of discontinuity is vague. It is suggested that this vagueness can be remedied if discontinuity is replaced by a more natural measure that nevertheless captures a similar intuition.<>

Published in:

Software Engineering, IEEE Transactions on  (Volume:19 ,  Issue: 3 )