Characterizing composability of abstract implementations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 158 LNCS, Issue , 1983, Pages 335-346

  Orejas, F ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84915720188     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-12689-9_116     Document Type: Conference Paper

References (12)

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