MAS is an experimental computer algebra system combining imperative programming facilities with algebraic specification capabilities for design and study of algebraic algorithms. MAS views mathematics in the sense of universal algebra and model theory and is in some parts influenced by category theory. We give an overview of system design and the current state of the MAS project. The main topic of this article is the informal semantics of the MAS specification component and examples.
CITATION STYLE
Kredel, H. (1991). The mas specification component. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 528 LNCS, pp. 39–50). Springer Verlag. https://doi.org/10.1007/3-540-54444-5_86
Mendeley helps you to discover research relevant for your work.