Skip to main content
SpringerLink
Log in
Book cover

Annual Symposium on Theoretical Aspects of Computer Science

STACS 1991: STACS 91 pp 1–15Cite as

Polymorphism, parameterization and typing: An algebraic specification perspective

  • Invited Lectures
  • Conference paper
  • First Online:

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

Abstract

Starting from an algebraic specification approach this paper presents a uniform framework for specifying data structures and configurations of systems. The framework covers (simple) algebraic specifications with higherorder functions and shallow polymorphism. The concepts of dependent types are used to define parameterised specifications and classes of specification schemata, so-called polymorphic specifications. Due to the introduction of a second level, configuration of modules can be abstractly specified; relationships between different classes of objects such as specifications, signatures or parameterised specifications can be described.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise: Handbook of Math. Logic, Studies in Logic, Vol. 90, North-Holland, Amsterdam 1977

    Google Scholar 

  2. CIP System Group: The Munich Project CIP. Lecture Notes in Comp. Science 292, Berlin, Springer, 1987.

    Google Scholar 

  3. J.A. Bergstra, J. Heering, P. Klint: Module algebra. J. ACM 37, 1990, 335–372.

    Article  Google Scholar 

  4. R. Burstall, J. Goguen: Putting theories together to make specifications. Proc. 5th Internat. Joint Conf. on Artificial Intelligence, Cambridge, Mass., 1977, 1045–1058.

    Google Scholar 

  5. L. Cardelli, G. Longo: A semantic basis for Quest. DEC SRC, Palo Alto, Ca., Rep. 55, 1990.

    Google Scholar 

  6. H. Ehrig, B. Mahr: Fundamentals of Alg. Specification I and II. Berlin, Springer 1985 and 1989.

    Google Scholar 

  7. K. Futatsugi, J.A. Goguen, J.-P. Jouannaud, J. Meseguer: Principles of OBJ2. Symposium on Principles of Programming Languages 1985, 52–66.

    Google Scholar 

  8. J.V. Guttag, J.J. Horning, J.M. Wing: Larch in Five Easy Pieces. DEC SRC, Palo Alto, Cal, 1985.

    Google Scholar 

  9. M. Hanus: Horn clause programs with polymorphic types: Semantics and resolution. In: J. Diaz, F. Orejas (eds.): Tapsoft 89, Lecture Notes in Computer Science 352, Berlin, Springer, 1989, 225–240.

    Google Scholar 

  10. R. Harper, D. MacQueen, R. Milner: Standard ML report. Edinburgh Univ., 1986, ECS-LFCS-86-2.

    Google Scholar 

  11. B. Krieg-Brückner, D. Sannella: Structuring in the large and in the small: Higher-order functions, dependent types and inheritance in SPECTRAL. Draft, 1990.

    Google Scholar 

  12. Z. Luo: ECC, an extended calculus of constructions. Proc. 4th LICS, Asilomar, California, 1989.

    Google Scholar 

  13. D. MacQueen: Using dependent types to express modular structure. Proceedings of 13th ACM Symposium on Principles of Programming Languages, St. Petersberg Beach, Fla., 1986.

    Google Scholar 

  14. P. Martin-Löf: Constructive mathematics and computer programming. Sixth International Congress for Logic, Methodology and Philosophy of Science, North-Holland, Amsterdam 1982.

    Google Scholar 

  15. J.C. Mitchell: Type systems for programming languages. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Vol. B, Amsterdam, Elsevier, 1990, 365–458.

    Google Scholar 

  16. A. Poigné: On specifications, theories and models with higher types. Inform. and Control 68, 1986, 1–46.

    Article  Google Scholar 

  17. D.T. Sannella, S. Sokolowski, A. Tarlecki: Toward formal development of programs from algebraic specifications: Parameterisation revisited. Draft 1990.

    Google Scholar 

  18. D.T. Sannella, A. Tarlecki: Towards a formal development of programs for algebraic specifications: Implementations revisited. Acta Informatica 25, 1988, 233–281.

    Article  Google Scholar 

  19. D.T. Sannella, M. Wirsing: A kernel language for algebraic specification and implementation. In: M. Karpinski: FCT 83 Lecture Notes in Comp. Scie. 158. Berlin, Springer, 1983, 413–427.

    Google Scholar 

  20. G. Smolka, W. Nutt, J.A. Goguen, J. Meseguer: Order-sorted equational computation. In: H. Ait-Kaci, M. Nivat: Resolution of Equations in Algebraic Structures 2, San Diego, Acad. Press, 1989, 297–367.

    Google Scholar 

  21. T. Streicher: A general scheme for specification languages. Draft, University of Passau, 1990.

    Google Scholar 

  22. T. Streicher, M. Wirsing: Dependent types considered necessary for specification languages. Draft 1990.

    Google Scholar 

  23. M. Wirsing: Structured algebraic specifications: A kernel language. Theor. Comp. Sci. 42, 1986.

    Google Scholar 

  24. M. Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science, Vol. B, Amsterdam, Elsevier, 1990, 677–788.

    Google Scholar 

  25. M. Wirsing, M. Broy: A modular framework for algebraic specification and implementation. In: J. Diaz, F. Orejas: TAPSOFT 89, Lecture Notes in Computer Science 351, Berlin, Springer, 42–73.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Polish Academy of Sciences, Institute of Computer Science, P.O. Box 22, PL-00-901, Warszawa PKiN, Poland

    Jacek Leszczylowski

  2. Bayer. Forschungszentrum für Wissensbasierte Systeme, Universität Passau, Postfach 25 40, D-8390, Passau, Germany

    Martin Wirsing

Authors
  1. Jacek Leszczylowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christian Choffrut Matthias Jantzen

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Leszczylowski, J., Wirsing, M. (1991). Polymorphism, parameterization and typing: An algebraic specification perspective. In: Choffrut, C., Jantzen, M. (eds) STACS 91. STACS 1991. Lecture Notes in Computer Science, vol 480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020783

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53709-0

  • Online ISBN: 978-3-540-47002-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation