The MAS specification component

  • Heinz Kredel
Session: Integration Of Programming Concepts I

DOI: 10.1007/3-540-54444-5_86

Part of the Lecture Notes in Computer Science book series (LNCS, volume 528)
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

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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1991

Authors and Affiliations

  • Heinz Kredel
    • 1
  1. 1.University of PassauGermany

Personalised recommendations