School of Computing

A comment on the presentation and testing of CALGO codes and a remark on Algorithm 639: To integrate some infinite oscillating tails

Tim Hopkins

ACM Transactions on Mathematical Software, 28(3):182-196, September 2002.

Abstract

We report on a number of coding problems that occur frequently in published CALGO software and are still appearing in new algorithm submissions. Using Algorithm 639 as an extended example, we describe how these types of faults may be almost entirely eliminated using available commercial compilers and software tools. We consider the levels of testing required to instil confidence that code performs reliably. Finally, we look at how the source code may be re-engineered, and thus made more maintainable, by taking account of advances in hardware and language development.

[Note: This is being made available as UKC Technical Report No: 4-02 (March 2002),

DOI: doi.acm.org/10.1145/569147.569148 ]

Download publication 359 kbytes (PostScript)

Bibtex Record

@article{1913,
author = {Tim Hopkins},
title = {A Comment on the Presentation and Testing of {CALGO} Codes and a Remark on {Algorithm} 639: To Integrate Some Infinite Oscillating Tails},
month = {September},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1913},
    publication_type = {article},
    submission_id = {24984_1084185666},
    ISSN = {0098-3500},
    journal = {ACM Transactions on Mathematical Software},
    volume = {28},
    number = {3},
    publisher = {ACM},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014