Skip to main content
SpringerLink
Log in

Another look at parameterization using algebras with subsorts

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1984 (MFCS 1984)

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

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. ADJ: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, In: R.Yeh,Ed., Current Trends in Programming Methodology IV, Prentice-Hall 1978

    Google Scholar 

  2. Ehrig,H.,Kreowski,H.-J.: Parameter Passing Commutes with Implementation of Parameterized Data Types. Proc. 9th ICALP, LNCS 140, 1982

    Google Scholar 

  3. Ehrig,H.,Kreowski,H.-J.,Mahr,B.,Padawitz,P.: Algebraic Implementation of Abstract Data Types, TCS 20, 1982

    Google Scholar 

  4. Ehrig,H.,Kreowski,H.-J.,Thatcher,J.W.,Wagner,E.G.,Wright,J.B.: Parameter Passing in Algebraic Specification Languages, Techn. Rep. TU Berlin 1980, also Proc. Workshop on Progr. Spec., LNCS 134, 1982

    Google Scholar 

  5. Goguen,J.A.: Order sorted Algebras: Exception and Error Sorts, Coercion and Overloaded Operators, Comp. Dept. Rep. 14, UCLA 1978

    Google Scholar 

  6. Gogolla,M.: Algebraic Specifications with Partially Ordered Sorts and Declarations, CAAP '84, LNCS 1, 1984

    Google Scholar 

  7. Goguen, J.A., Meseguer, J.: Completeness of Many-Sorted Equational Logic, ACM SIGPLAN Notices 16, 7, 1981

    Google Scholar 

  8. Lipeck,U.: Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen, Promotion Dortmund, 1982

    Google Scholar 

  9. Orejas, F.: Characterizing Composability of Abstract Implementations, Rep. RR 82/08, Univ. Barcelona 1982

    Google Scholar 

  10. Poigné,A.: Higher Order Specifications, STACS'84, LNCS 1, 1984

    Google Scholar 

  11. Poigné,A.: Modularization Techniques for Algebraic Specifications Using Subsorts, To appear as Techn. Rep.

    Google Scholar 

  12. Poigné, A.,Voss, J.: Programs over Abstract Data Types — On Implementation of Abstract Data Types. Techn. Rep. 171, Abt. Informatik, Univers. Dortmund 1983

    Google Scholar 

  13. Sannella,D.,Wirsing,M.: Implementation of Parameterized Specifications. Proc. 9th ICALP, LNCS 140, 1982

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Imperial College, SW7 2AZ, London

    Axel Poigné

Authors
  1. Axel Poigné
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. P. Chytil V. Koubek

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Poigné, A. (1984). Another look at parameterization using algebras with subsorts. In: Chytil, M.P., Koubek, V. (eds) Mathematical Foundations of Computer Science 1984. MFCS 1984. Lecture Notes in Computer Science, vol 176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030330

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13372-8

  • Online ISBN: 978-3-540-38929-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation