Algebraic implementation of abstract data types. (English) Zbl 0483.68018


68P05 Data structures
Full Text: DOI


[1] Goguen, J.A.; Thatcher, J.W.; Wagner, E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types, (), 80-144, (1976)
[2] Thatcher, J.W.; Wagner, E.G.; Wright, J.B., Data type specification: parameterization and the power of specification techniques, (), 119-132, San Diego · Zbl 1282.68170
[3] Ehrig, H.; Kreowski, H.-I.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B., Parameterized data types in algebraic specification languages, (), 157-168
[4] Ehrig, H.; Kreowski, H.-I.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B., Parameter passing in algebraic specification languages, draft version, (1981)
[5] Burstall, R.M.; Goguen, J.A., Putting theories together to make specifications, (), Boston · Zbl 0518.68009
[6] Burstall, R.M.; Goguen, J.A., CAT, A system for the structured elaboration of correct programs from structured specifications, preliminary draft, (1979)
[7] Burstall, R.M.; Goguen, J.A., Semantics of CLEAR, a specification language, (), 294-332 · Zbl 0456.68024
[8] Bergstra, J.A.; Tucker, J.V., A characterization of computable data types by means of a finite, equational specification method, (), 76-90 · Zbl 0417.68012
[9] Dijkstra, E.W., Notes on structured programming, () · Zbl 0418.68032
[10] Dybjer, P., Algebraic specification of LISP, draft report, (1980), Department of Computer Science, University of California Los Angeles
[11] Ehrich, H.D., Extensions and implementations of abstract data type specifications, (), 155-163 · Zbl 0382.68028
[12] Ehrich, H.D., On the theory of specification, implementation and parameterization of abstract data types, (1978), Forschungsbericht Universität Dortmund · Zbl 0467.68017
[13] Ehrig, H.; Fey, W.; Kreowski, H.-J., Algebraische spezifikation eines stücklistensystems—eine fallstudie, (), Berlin
[14] Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P., Compound algebraic implementations: an approach to stepwise refinement of software systems, (), 231-245 · Zbl 0442.68016
[15] Ehrig, H.; Kreowski, H.-J.; Padawitz, P., Stepwise specification and implementation of abstract data types, (), 205-226
[16] Ehrig, H.; Kreowski, H.-J.; Padawitz, P., Algebraic implementation of abstract data types: an announcement, SIGACT news, 11, 2, 25-29, (1979) · Zbl 0418.68018
[17] Ehrig, H.; Kreowski, H.-J.; Padawitz, P., Completeness in algebraic specifications, Bull. EATCS, 11, 2-9, (1980) · Zbl 0457.68019
[18] Ehrig, H.; Kreowski, H.-J.; Padawitz, P., Algebraic implementation of abstract data types: concept, syntax, semantics and correctness, (), 142-156 · Zbl 0457.68019
[19] Ehrig, H.; Kreowski, H.-J.; Padawitz, P., A case study of abstract implementations and their correctness, (), 108-122, Paris · Zbl 0435.68023
[20] Ehrig, H.; Kreowski, H.-J.; Weber, H., New aspects of algebraic specification schemes for data base system, (), Tutzing am See · Zbl 0388.68061
[21] Ehrig, H.; Mahr, B., Complexity of algebraic implementations for abstract data types, J. comput. system sci., 23, 2, 223-253, (1981) · Zbl 0474.68021
[22] Eswaran, K.P.; Gray, J.N.; Corie, RA.; Traiger, I.L., On the notions of consistency and predicate locks in a data base system, Comm. ACM, 19, 11, 624-633, (1976) · Zbl 0341.68023
[23] Ganzinger, H., Parameterized data types: parameter passing and implementation, draft manuscript, (1980), Computer Science Division UC Berkeley
[24] Gaudel, M.-C., Algebraic specification of abstract data types, INRIA rapport de recherche no. 360, (1979)
[25] Goguen, J.A., How to prove algebraic inductive hypothesis without induction, (), 356-373
[26] Goguen, J.A.; Parsaye-Ghomi, Algebraic denotational semantics using parameterized abstract modules, (), 292-309 · Zbl 0467.68014
[27] Goguen, J.A.; Nourani, F., Some algebraic techniques for proving correctness of data type implementation, Extended abstract, (1978), Computer Science Department UCLA, Los Angeles
[28] Guttag, J.V., Abstract data types and the development of data structures, supplement to proc. conference on data abstraction, definition, and structure, SIGPLAN notices, 8, (1976)
[29] Guttag, J.V.; Horowitz, E.; Musser, D.R., Abstract data types and software validation, Comm. ACM, 21, 12, 1048-1063, (1978) · Zbl 0387.68012
[30] Harrison, M.A.; Lipton, R.J., Implementation of abstract data types, Extended abstract, (1979), Computer Science Division UC Berkeley
[31] Huet, G.; Oppen, D.C., Equations and rewrite rules: A survey, ()
[32] Hupbach, U.L., Abstract implementation of abstract data types, (), 291-304 · Zbl 0499.68011
[33] Hupbach, U.L., Abstract implementation and parameter substitution, (), Budapest · Zbl 0499.68011
[34] Kreowski, H.-J., Algebraische spezifikation von softwaresystemen, (), Berlin
[35] Lehmann, D.H.; Smyth, M.B., Data types, (), 7-12, Providence, RI
[36] Liskov, B.H.; Zilles, S.N., Programming with abstract data types, SIGPLAN notices, 9, 50-59, (1974)
[37] Mosses, P., A constructive approach to compiler correctness, (), 449-469
[38] Mosses, P., Abstract semantic algebras, Aarhus university report DAIMI IR-29, (1981)
[39] Nourani, F., Constructive extension and implementation of abstract data types and algorithms, Technical report UCLA-ENG-7945, (1979)
[40] Padawitz, P., New results on completeness and consistency of abstract data types, (), 460-473
[41] Wand, M., Final algebra semantics and data type extensions, J. comput. system sci., 19, 1, 27-44, (1979) · Zbl 0418.68020
[42] Wirsing, M.; Broy, M., Abstract data types as lattices of finitely generated models, (), 673-685 · Zbl 0441.68014
[43] Wirth, N., Program development by stepwise refinement, Comm. ACM, 14, 4, 221-227, (1971) · Zbl 0214.43005
[44] Wulf, W.A., Abstract data types: A retrospective and prospective view, (), 94-112
[45] Zilles, S.N., An introduction to data algebras, Working draft paper, (1975), IBM Research San José
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.