The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computational category theory
Category theory for computing science
Category theory for computing science
Loop distribution with arbitrary control flow
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Nondeterminism in algebraic specifications and algebraic programs
Nondeterminism in algebraic specifications and algebraic programs
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Categories of relational structures
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Rewriting as a unified specification tool for logic and control: the ELAN language
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Hi-index | 0.00 |
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.