Skip to main content
SpringerLink
Log in
Book cover

Recent Trends in Data Type Specification pp 196–206Cite as

Passing Compatibility is Almost Persistency

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 116))

Abstract

Parameterized data types or program modules have been a step forward on the way of providing more powerful abstract constructs for software design.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arbib, M.E.; Manes, E.G.: “Arrows, structures and functors: the categorical imperative”, Academic Press 1975.

    MATH  Google Scholar 

  2. Burstall, R.M.; Goguen, J.A.: “Putting theories together to make specifications”, Proc. 5th IJCAI, Cambridge Mass., 1977, pp. 1045–1058.

    Google Scholar 

  3. Burstall, R.M.; Goguen, J.A.: “The semantics of Clear, a specification language”, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292–332, 1980.

    Google Scholar 

  4. Ehrich, H.-D.: “On the theory of specification, implementation and parameterization of abstract data types”, JACM 29,1 (1982), pp. 206–227.

    Article  MathSciNet  MATH  Google Scholar 

  5. Ehrig, H.: “Algebraic theory of parameterized specifications with requirements”, Proc. 6th CAAP, Springer LNCS 112, 1981, pp. 1–24.

    Google Scholar 

  6. Ehrig, H.; Fey, W. ; Hansen, H.: “ACT ONE: an algebraic specification language with two levels of semantics”, TU Berlin, FB 20 Tech. Rep. No 83/03, 1983.

    Google Scholar 

  7. Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, E.G.; Wright J.B.: “Parameterized data types in algebraic specification languages”, Proc. 7th ICALP, Springer LNCS 85, 1980, pp. 157–168.

    Google Scholar 

  8. Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W. ; Wagner, E.G.; Wright J.B.: “Parameter passing in algebraic specification languages”, Proc. Aarhus Workshop on Program Specification, Springer LNCS 134, 1981.

    Google Scholar 

  9. Ganzinger, H.: “Parameterized specifications: parameter passing and implementation with respect to observability”, TOPLAS 5,3 (1983), pp. 318–354.

    Article  MATH  Google Scholar 

  10. Goguen, J.A.; Meseguer, J.: “Universal realization, persistent interconnection and implementation of abstract modules”, Proc. 9th ICALP, Springer LNCS 140, 1982, pp. 265–281.

    Google Scholar 

  11. Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: “An initial algebra approach to the specification, correctness and implementation of abstract data types”, in ‘Current Trends in Programming Methodology, Vol IV: Data Structuring’, R.T. Yeh (ed.), Prentice Hall 1978, pp. 80–149.

    Google Scholar 

  12. Sannella, D.; Wirsing, M.: “A kernel language for algebraic specification and implementation”, Proc. FCT-83, Springer LNCS 158, 1983, pp. 413–427.

    Google Scholar 

  13. Thatcher, J.W.; Wagner, E.G.; Wright,J.B.: “Data type specification: parameterization and the power of specification techniques”, Proc. 10th STOC, San Diego Ca., 1978.

    Google Scholar 

Download references

Author information

Author notes

  1. F. Orejas

    Present address: Facultat d’Informàtica, Universitat Politècnica de Catalunya, Barcolona, Spain

Authors and Affiliations

  1. Campus Scientifique, B.P. 239, 54506, Vandoeuvre-les-Nancy Cedex, France

    F. Orejas & C. R. I. Nancy

Authors
  1. F. Orejas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. R. I. Nancy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Mathematik und Informatik, Universität Bremen, Postfach 330 440, 2800, Bremen 33, Germany

    Hans-Jörg Kreowski

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Orejas, F., Nancy, C.R.I. (1985). Passing Compatibility is Almost Persistency. In: Kreowski, HJ. (eds) Recent Trends in Data Type Specification. Informatik-Fachberichte, vol 116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-09691-8_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-09691-8_15

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-662-09691-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation