A proof system for verifying composability of abstract implementations

  • Fernando Drejas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 173)


Proof System Springer LNCS Abstract Implementation Strong Composition GM82 GM82 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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, 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.Google 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, Springer LNCS 140, pp. 197–211.Google Scholar
  5. GAN81.
    Ganzinger, H. "Parameterized specifications: parameter passing and optimizing implementations", Tech. Rep. TU Munich-18110.Google Scholar
  6. GM82.
    Goguen, J.A.; Meseguer, J. "Universal realization, persistent interconnection and implementation of abstract modules", Proc. 9th ICALP Aarhus, Springer LNCS 140, pp. 265–281.Google Scholar
  7. GM82a.
    Goguen, J.A.; Meseguer, J. "Completeness of many sorted equational logic", Sigplan Notices 16, 7, pp. 17–23.Google Scholar
  8. ORE81.
    Orejas, F. "On the representation of data types", Proc. ICFPC, Peniscola, Springer LNCS 107, pp. 419–431.Google Scholar
  9. ORE83.
    Orejas, F. "Characterizing composability of abstract implementations", Proc. FCT-83, Borgholm, Springer LNCS 158, pp. 335–346. Also FIB RR 82-08 (long version).Google Scholar
  10. PAI80.
    Pair, C. "Sur les modeles des types abstraits algebriques", C.R.I. Nancy Res. Rep. 80 P 052, 1980.Google Scholar
  11. SW82.
    Sannella, D.; Wirsing, M. "Implementation of parameterised specifications", Proc. 9th ICALP Aarhus, Springer LNCS 140, pp. 473–488.Google Scholar
  12. SW83.
    Sannella, D.; Wirsing, M. "A kernel language for algebraic specification and implementation" Proc. FCT-83, Borgholm, Springer LNCS 158, pp. 413–427.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Fernando Drejas
    • 1
  1. 1.Facultat d'InformaticaUniversitat PolitecnicaBarcelonaSpain

Personalised recommendations