Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. W. Appel, R. Milner, R. W. Harper, D. B. MacQueen, Standard ML Reference Manual (preliminary draft), University of Edinburgh, LFCS Report, 1988.
G.E. Collins, R. Loos, ALDES/SAC-2 now available, SIGSAM Bulletin 1982, and several reports distributed with the ALDES/SAC-2 system.
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.
R. D. Jenks et al., Scratchpad II Programming Language Manual, Computer Algebra Group, IBM, Yorktown Heights, NY, 1985.
H. Kredel, From SAC-2 to Modula-2, Proc. ISSAC'88 Rome, LNCS 358, pp 447–455, Springer, 1989.
H. Kredel, MAS Modula-2 Algebra System, Proc. DISCO 90 Capri, LNCS 429, pp 270–271, Springer, 1990.
H. Kredel, Semantics of the MAS Language, University of Passau 1991.
R. G. K. Loos. The Algorithm Description Language ALDES (Report), SIGSAM Bulletin 14/1, pp 15–39, 1976.
M. Wirsing, Structured Algebraic Specifications: A Kernel Language, Theoretical Computer Science 42, pp 123–249, Elsevier Science Publishers B.V. (North-Holland) (1986).
N. Wirth, Programming in Modula-2, Springer, Berlin, Heidelberg, New York, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/3-540-54444-5_86
Download citation
DOI: https://doi.org/10.1007/3-540-54444-5_86
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54444-9
Online ISBN: 978-3-540-38362-8
eBook Packages: Springer Book Archive