The MAS specification component
- First Online:
- Cite this paper as:
- Kredel H. (1991) The MAS specification component. In: Maluszyński J., Wirsing M. (eds) Programming Language Implementation and Logic Programming. PLILP 1991. Lecture Notes in Computer Science, vol 528. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.