The MAS specification component
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.
- [Appel 88]A. W. Appel, R. Milner, R. W. Harper, D. B. MacQueen, Standard ML Reference Manual (preliminary draft), University of Edinburgh, LFCS Report, 1988.Google Scholar
- [Collins 82]G.E. Collins, R. Loos, ALDES/SAC-2 now available, SIGSAM Bulletin 1982, and several reports distributed with the ALDES/SAC-2 system.Google Scholar
- [Davenport 90]J. H. Davenport, B. M. Trager, Scratchpad's View of Algebra I: Basic Commutative Algebra, Proc. DISCO 90 Capri, LNCS 429, pp 40–54, Springer, 1990.Google Scholar
- [Jenks 85]R. D. Jenks et al., Scratchpad II Programming Language Manual, Computer Algebra Group, IBM, Yorktown Heights, NY, 1985.Google Scholar
- [Kredel 88]H. Kredel, From SAC-2 to Modula-2, Proc. ISSAC'88 Rome, LNCS 358, pp 447–455, Springer, 1989.Google Scholar
- [Kredel 90]H. Kredel, MAS Modula-2 Algebra System, Proc. DISCO 90 Capri, LNCS 429, pp 270–271, Springer, 1990.Google Scholar
- [Kredel 91]H. Kredel, Semantics of the MAS Language, University of Passau 1991.Google Scholar
- [Loos 76]R. G. K. Loos. The Algorithm Description Language ALDES (Report), SIGSAM Bulletin 14/1, pp 15–39, 1976.Google Scholar
- [Wirsing 86]M. Wirsing, Structured Algebraic Specifications: A Kernel Language, Theoretical Computer Science 42, pp 123–249, Elsevier Science Publishers B.V. (North-Holland) (1986).Google Scholar
- [Wirth 85]N. Wirth, Programming in Modula-2, Springer, Berlin, Heidelberg, New York, 1985.Google Scholar