Abstract computability and algebraic specification (2002)
Cached
Download Links
- [www-compsci.swan.ac.uk]
- [www.cs.swan.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | ACM Transactions on Computational Logic |
| Citations: | 5 - 2 self |
BibTeX
@ARTICLE{Tucker02abstractcomputability,
author = {J. V. Tucker and J. I. Zucker},
title = {Abstract computability and algebraic specification},
journal = {ACM Transactions on Computational Logic},
year = {2002},
pages = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract computable functions are defined by abstract finite deterministic algorithms on manysorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable functions on any many-sorted algebra; (ii) all functions effectively approximable by abstract computable functions on any metric algebra. We show that there exist universal algebraic specifications for all the classically computable functions on the set R of real numbers. The algebraic specifications used are mainly bounded universal equations and conditional equations. We investigate the initial algebra semantics of these specifications, and derive situations where algebraic specifications precisely define the computable functions.
