© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }