Algebraic implementation of abstract data types: concept, syntax, semantics and correctness

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

Volumn 85 LNCS, Issue , 1980, Pages 142-156

  Ehrig, H ^a   Kreowski, H J ^a   Padawitz, P ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; CORRECTNESS CRITERION;

ABSTRACT DATA TYPES;

EID: 85034972171     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-10003-2_67     Document Type: Conference Paper

References (17)

1. Goguen, J. A. -Thatcher, J. W. -Wagner, E. G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, IBM Research Report RC-6487, 1976; and in: Current Trends in Programming Methodology, IV: Data Structuring (R. Yeh Ed.), Prentice Hall, New Jersey, 1978, 80–144.
2. Burstall, R. M. -Goguen, J. A.: Putting Theories together to Make Specifications, Proc. Int. Conf. Artif. Intelligence, Boston, 1977.
3. Ehrich, H. -D.: Extensions and Implementations of Abstract Data Type Specifications, Proc. Conf. MFCS’78, Zakopane, Springer Lect. Not. in Comp. Sci. 64, 1978, 155–163.
4. Ehrich, H. -D.: On the Theory of Specification, Implementation and Parametrization of Abstract Data Types, Forschungsbericht Uni. Dortmund, 1978.
5. Ehrig, H. -Kreowski, H. -J. -Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. 5. Int. Colloq. on Automata, Languages and Programming, Udine 1978.
6. Ehrig, H. -Kreowski, H. -J. -Padawitz, P.: Algebraische Implementierung abstrakter Datentypen, Forschungsbericht Nr. 79-3, TU Berlin, FB 20, 1979.
7. Ehrig, H. -Kreowski, H. -J. -Padawitz, P.: Completeness in Algebraic Specifications, to appear in Bull. EATCS no. 11, 1980.
8. Ehrig, H. -Kreowski, H. -J. -Padawitz, P.: A Case Study of Abstract Implementations and Their Correctness, to appear in Proc. Int. Symp. on Programming, Paris 1980.
9. Ehrig, E. -Kreowski, H. -J. -Weber, H.: Algebraic Specification Schemes for Data Base Systems, Proc. 4, Int. Conf. on Very Large Data Bases, Berlin, 1978.
10. Ehrig, H., Mahr, B.: A Complexity of Implementations on the Level of Algebraic Specifications, to appear in Proc. STOC’80.
11. Goguen, J. A.: Abstract Errors for Abstract Data Types, Proc. IFIP Working Conf. on Formal Description of Programming Concepts, St. Andrews, New Brunswick, Aug. 1977, and in: Formal Description of Progr. Concepts, ed. by E. J. Neuhold, North-Holland, 1978, 491–522.
12. Goguen, J. A. -Nourani, F.: Some Algebraic Techniques for Proving Correctness of Data Type Implementation, Extended Abstract, Comp. Sci. Dept., UCLA, Los Angeles, 1978.
13. Guttag, J. V.: Abstract Data Types and the Development of Data Structures Supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March 1976.
14. Koch, W.: SPEZI — eine Sprache zur Formulierung von Spezifikationen, Proc. GI-9. Jahrestagung, Bonn 1979, Informatik-Fachberichte 19, Springer-Verlag, 1979, 132–138.
15. Lehmann, D. H., Smyth, M. B.: Data Types, Univ. of Warwick, Dept. of Comp. Sci., Report No. 19, 1977, and Proc. 18th IEEE Symp. on Found. of Computing, Providende, R. I., Nov. 77, 7–12.
16. Thatcher, J. W. -Wagner, E. G. -Wright, J. B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. 10 SIGACT Symp. on Theory of Computing, San Diego, 1978, 119–132.
17. Wand, M.: Final Algebra Semantics and Data Type Extensions, Indiana Univ., Comp. Sci. Dept., Technical Report No. 65, 1977.