Skip to main content
Computation Algebras
Mathematical Structures in Computer Science (2001)
  • Sigurd Meldal, San Jose State University
  • M. A. Walicki
  • M. Haveraaen
We introduce a framework that generalizes algebraic specifications by equipping algebras with descriptions of evaluation strategies. The resulting abstract mathematical description allows one to model the implementation of algebras on various platforms in a way that is independent of the function-oriented specifications. We study algebras with associated data dependencies. The latter provide separate means for modelling computational aspects apart from the functional specifications captured by an algebra. The formalization of evaluation strategies (1) introduces increased portability among different hardware platforms, and (2) allows a potential increase in execution efficiency, since a chosen evaluation strategy may be tailored to a particular platform. We present the development process where algebraic specifications are equipped with data dependencies, the latter are refined, and, finally, mapped to actual hardware architectures.
Publication Date
October, 2001
Publisher Statement
SJSU users: use the following link to login and access the article via SJSU databases
Citation Information
Sigurd Meldal, M. A. Walicki and M. Haveraaen. "Computation Algebras" Mathematical Structures in Computer Science Vol. 11 Iss. 5 (2001)
Available at: