Skip to main content
SpringerLink
Log in

The MAS specification component

  • Session: Integration Of Programming Concepts I
  • Conference paper
  • First Online:
Programming Language Implementation and Logic Programming (PLILP 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 528))

  • 268 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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 

  2. 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 

  3. 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 

  4. R. D. Jenks et al., Scratchpad II Programming Language Manual, Computer Algebra Group, IBM, Yorktown Heights, NY, 1985.

    Google Scholar 

  5. H. Kredel, From SAC-2 to Modula-2, Proc. ISSAC'88 Rome, LNCS 358, pp 447–455, Springer, 1989.

    Google Scholar 

  6. H. Kredel, MAS Modula-2 Algebra System, Proc. DISCO 90 Capri, LNCS 429, pp 270–271, Springer, 1990.

    Google Scholar 

  7. H. Kredel, Semantics of the MAS Language, University of Passau 1991.

    Google Scholar 

  8. R. G. K. Loos. The Algorithm Description Language ALDES (Report), SIGSAM Bulletin 14/1, pp 15–39, 1976.

    Google Scholar 

  9. 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 

  10. N. Wirth, Programming in Modula-2, Springer, Berlin, Heidelberg, New York, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Passau, Germany

    Heinz Kredel

Authors
  1. Heinz Kredel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jan Maluszyński Martin Wirsing

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation