School of Computing

Renovating the collected algorithms from ACM

Tim Hopkins

ACM Transactions on Mathematical Software, 28(1):182-196, March 2002 [doi].

Abstract

Since 1960 the Association for Computing Machinery has published a series of refereed algorithm implementations known as the Collected Algorithms of the ACM (CALGO). Most of those published since 1975 are mathematical algorithms, and many of them remain useful today. In this paper we describe measures that have been taken to bring some 400 of these latter codes to an up-to-date and consistent state.

[Note: DOI: http://doi.acm.org/10.1145/513001.513005]

Download publication 1287 kbytes (PostScript)

Bibtex Record

@article{1780,
author = {Tim Hopkins},
title = {Renovating the Collected Algorithms from {ACM}},
month = {March},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1145/513001.513005},
url = {http://www.cs.kent.ac.uk/pubs/2002/1780},
    publication_type = {article},
    submission_id = {14744_1075207152},
    ISSN = {0098-3500},
    journal = {ACM Transactions on Mathematical Software},
    volume = {28},
    number = {1},
    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