Characterizing composability of abstract implementations

  • F. Orejas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 158)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. ADJ78.
    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
  2. EHR82.
    Ehrich, H.-D. "On the theory of specification, implementation and parameterization of abstract data types", JACM 29, 1 (Jan. 1982), pp. 206–227.CrossRefGoogle Scholar
  3. EKMP82.
    Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P. "Algebraic implementations of abstract data types", TCS 20, 3 (July 1982), pp. 209–263.Google Scholar
  4. EK82.
    Ehrig, H.; Kreowski, H.-J. "Parameter passing commutes with implementation of parameterized data types", Proc. 9th. ICALP Aarhus, 1982, LNCS 140, pp. 197–211.Google Scholar
  5. GAN81.
    Ganzinger, H. "Parameterized specifications: parameter passing and optimizing implementations", Tech. Rep., TU Munich-18110, 1981.Google Scholar
  6. GHM76.
    Guttag, J.V.; Horowitz, E.; Musser, D.R. "Abstract data types and software validation", USC Res. Rep. ISI/RR-76-48, 1976.Google Scholar
  7. GM82.
    Goguen, J.A.; Meseguer, J. "Universal realization, persistent interconnection and implementation of abstract modules", Proc. 9th. ICALP, Aarhus, 1982 LNCS 140, pp. 265–281.Google Scholar
  8. HOA72.
    Hoare, C.A.R. "Proof of correctness of data representations", Acta Informatica 1 (1972), pp. 271–281.CrossRefGoogle Scholar
  9. ORE81.
    Orejas, F. "On the representation of data types", Proc. ICFPC, Peñíscola, 1981, LNCS 107, pp. 419–431.Google Scholar
  10. ORE82.
    "Characterizing composability of abstract implementations", Fac. d'Informàtica de Barcelona, Report de Recerca RR 82/08, 1982.Google Scholar
  11. PAI80.
    Pair, C. "Sur les modèles des types abstraits algébriques", C.R.I. Nancy Res. Rep. 80 P 052, 1980.Google Scholar
  12. SW82.
    Sannella, D.; Wirsing, M. "Implementations of parameterised implementations", Proc. 9th. ICALP Aarhus, 1982, LNCS 140, pp. 473–488.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • F. Orejas
    • 1
  1. 1.Facultat d'InformàticaUniversitat PolitècnicaBarcelonaSPAIN

Personalised recommendations