Skip to main content
SpringerLink
Log in

Description algebra

  • Part II The Design Language COLD
  • Conference paper
  • First Online:
Algebraic Methods: Theory, Tools and Applications (Algebraic Methods 1987)

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

Included in the following conference series:

Abstract

Description Algebra is a many-sorted algebra, containing operators on (module) descriptions such as import, export, renaming and unification. The algebra incorporates a special scheme of dealing with name clashes in module composition by means of origins and origin unification. A complete definition of the algebra is given and its properties are discussed. The algebra is the basis of the modularisation constructs of the design language COLD-K, but the approach as such as independent of COLD-K.

This work has been performed in the framework of ESPRIT project 432 (METEOR).

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. J.A. BERGSTRA, J. HEERING, P. KLINT, ASF—An Algebraic Specification Formalism, CWI Report CS-R8705 (1987).

    Google Scholar 

  2. J.A. BERGSTRA, J. HEERING, P. KLINT, Module Algebra, CWI Report CS-R8617 (1986).

    Google Scholar 

  3. L.M.G. FEIJS, H.B.M. JONKERS, C.P.J. KOYMANS, G.R. RENARDEL DE LAVALETTE, Formal Definition of the Design Language COLD-K, Preliminary Edition, Technical Report, ESPRIT project 432, Doc.Nr. METEOR/t7/PRLE/7 (1987).

    Google Scholar 

  4. L.M.G. FEIJS, H.B.M. JONKERS, J.H. OBBINK, C.P.J. KOYMANS, G.R. RENARDEL DE LAVALETTE, P.H. RODENBURG, A Survey of the Design Language COLD, in: ESPRIT '86: Results and Achievements, Elsevier Science Publishers (1987), 631–644.

    Google Scholar 

  5. H.B.M JONKERS, An Introduction to COLD-K, this volume.

    Google Scholar 

  6. C.P.J. KOYMANS, G.R. RENARDEL DE LAVALETTE, The Logic MPL ω, this volume.

    Google Scholar 

  7. J.A. ROBINSON, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM 12 (1965), 23–41.

    Article  Google Scholar 

  8. M. WIRSING, Structured Algebraic Specifications: a Kernel Language, Habilitation thesis, Technische Universität München (1983).

    Google Scholar 

  9. M. WIRSING, P. PEPPER, H. PARTSCH, W. DOSCH, M. BROY, On Hierarchies of Abstract Data Types, Acta Informatica 20 (1983), 1–33.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories, P.O. Box 80000, 5600 JA, Eindhoven, The Netherlands

    H. B. M. Jonkers

Authors
  1. H. B. M. Jonkers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonkers, H.B.M. (1989). Description algebra. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015042

Download citation

  • DOI: https://doi.org/10.1007/BFb0015042

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51698-9

  • Online ISBN: 978-3-540-46758-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation