{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:23Z","timestamp":1750308983702,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[1979,9,1]],"date-time":"1979-09-01T00:00:00Z","timestamp":304992000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGACT News"],"published-print":{"date-parts":[[1979,9]]},"abstract":"<jats:p>A new concept for the implementation of abstract data types is proposed: Given algebraic specifications SPECO and SPEC1 of abstract data types ADTO and ADT1 an implementation of ADTO by ADT1 is defined separately on the syntactical level of specifications and on the semantical level of algebras. In addition to a short overview a simple example is provided.<\/jats:p>","DOI":"10.1145\/1008620.1008622","type":"journal-article","created":{"date-parts":[[2004,10,12]],"date-time":"2004-10-12T15:20:46Z","timestamp":1097594446000},"page":"25-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Algebraic implementation of abstract data types"],"prefix":"10.1145","volume":"11","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[{"name":"TU Berlin, FB Informatik"}]},{"given":"H. J.","family":"Kreowski","sequence":"additional","affiliation":[{"name":"TU Berlin, FB Informatik"}]},{"given":"P.","family":"Padawitz","sequence":"additional","affiliation":[{"name":"TU Berlin, FB Informatik"}]}],"member":"320","published-online":{"date-parts":[[1979,9]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"- Wagner","author":"Goguen J. A.","year":"1976","unstructured":"\/ADJ 76\/ 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 ; und in: Current Trends in Programming Methodology, IV : Data Structuring (R. Yeh Ed.), Prentice Hall , New Jersey, 1978. \/ADJ 76\/ 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; und in: Current Trends in Programming Methodology, IV: Data Structuring (R. Yeh Ed.), Prentice Hall, New Jersey, 1978."},{"key":"e_1_2_1_2_1","volume-title":"Implementation and Parametrization of Abstract Data Types","author":"Ehrich H.-D.","year":"1978","unstructured":"\/Eh 78\/ Ehrich , H.-D. : On the Theory of Specification , Implementation and Parametrization of Abstract Data Types , Forschungsbericht Dortmund , 1978 . \/Eh 78\/ Ehrich, H.-D.: On the Theory of Specification, Implementation and Parametrization of Abstract Data Types, Forschungsbericht Dortmund, 1978."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646232.682207"},{"key":"e_1_2_1_4_1","first-page":"20","author":"Ehrig Algebraische","year":"1979","unstructured":"\/EKP 79\/ Ehrig , H: Algebraische Implementierung abstrakter Datentypen , Forschungsbericht TU Berlin , FB 20 , 1979 . \/EKP 79\/ Ehrig, H: Algebraische Implementierung abstrakter Datentypen, Forschungsbericht TU Berlin, FB 20, 1979.","journal-title":"FB"},{"key":"e_1_2_1_5_1","volume-title":"Proc. 4. Int. Conf. on Very Large Data Bases","author":"Ehrig H.","year":"1978","unstructured":"\/EKW 78\/ Ehrig , H. - Kreowski , H.-J. - Weber , H. : Algebraic Specification Schemes for Data Base Systems , Proc. 4. Int. Conf. on Very Large Data Bases , Berlin , 1978 . \/EKW 78\/ Ehrig, H. - Kreowski, H.-J. - Weber, H.: Algebraic Specification Schemes for Data Base Systems, Proc. 4. Int. Conf. on Very Large Data Bases, Berlin, 1978."},{"key":"e_1_2_1_6_1","volume-title":"UCLA","author":"Goguen J. A.","year":"1978","unstructured":"\/GN 78\/ Goguen , J. A. - Nourani , F. : Some Algebraic Techniques for Proving Correctness of Data Type Implementation, Extended Abstract, Comp. Sci. Dept ., UCLA , Los Angeles , 1978 . \/GN 78\/ Goguen, J. A. - Nourani, F.: Some Algebraic Techniques for Proving Correctness of Data Type Implementation, Extended Abstract, Comp. Sci. Dept., UCLA, Los Angeles, 1978."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/800237.807124"},{"key":"e_1_2_1_8_1","volume-title":"- Smyth","author":"Lehmann D. J.","year":"1977","unstructured":"\/LS 77\/ Lehmann , D. J. - Smyth , M. B. : Data Types, Univ. of Warwick, Dept . of Comp. Sci., Report No. 19, 1977 . \/LS 77\/ Lehmann, D. J. - Smyth, M. B.: Data Types, Univ. of Warwick, Dept. of Comp. Sci., Report No. 19, 1977."}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1008620.1008622","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1008620.1008622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:07Z","timestamp":1750282867000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1008620.1008622"}},"subtitle":["an announcement"],"short-title":[],"issued":{"date-parts":[[1979,9]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1979,9]]}},"alternative-id":["10.1145\/1008620.1008622"],"URL":"https:\/\/doi.org\/10.1145\/1008620.1008622","relation":{},"ISSN":["0163-5700"],"issn-type":[{"type":"print","value":"0163-5700"}],"subject":[],"published":{"date-parts":[[1979,9]]},"assertion":[{"value":"1979-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}