{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:50:24Z","timestamp":1742957424394,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284113"},{"type":"electronic","value":"9783642284120"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28412-0_2","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T04:14:28Z","timestamp":1329538468000},"page":"13-24","source":"Crossref","is-referenced-by-count":0,"title":["My ADT Shrine"],"prefix":"10.1007","author":[{"given":"Hans-Dieter","family":"Ehrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0304-3975(84)90086-0","volume":"33","author":"M. Broy","year":"1984","unstructured":"Broy, M., Wirsing, M., Pair, C.: A Systematic Study of Models of Abstract Data Types. Theoretical Computer Science\u00a033, 139\u2013174 (1984)","journal-title":"Theoretical Computer Science"},{"key":"2_CR3","first-page":"1045","volume-title":"Proc. 5th IJCAI","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications. In: Proc. 5th IJCAI, pp. 1045\u20131058. MIT, Cambridge (1977)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Abstract Software Specifications","author":"R.M. Burstall","year":"1980","unstructured":"Burstall, R.M., Goguen, J.A.: The Semantics of CLEAR, a Specification Language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol.\u00a086, pp. 292\u2013331. Springer, Heidelberg (1980)"},{"key":"2_CR5","unstructured":"Common Framework Initiative (CoFI), \n                    \n                      http:\/\/www.informatik.uni-bremen.de\/cofi\/wiki\/index.php\/CoFI"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"Ehrich, H.-D.: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types. Journal of the ACM\u00a029, 206\u2013277 (1982)","journal-title":"Journal of the ACM"},{"key":"2_CR7","series-title":"Informatik-Fachberichte","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-09691-8_2","volume-title":"Recent Trends in Data Type Specification","author":"H.-D. Ehrich","year":"1985","unstructured":"Ehrich, H.-D.: Algebraic (?) Specification of Conceptual Database Schemata (extended abstract). In: Kreowski, H.-J. (ed.) Recent Trends in Data Type Specification. Informatik-Fachberichte, vol.\u00a0116. Springer, Berlin (1985)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/3-540-17162-2_135","volume-title":"Category Theory and Computer Programming","author":"H.-D. Ehrich","year":"1986","unstructured":"Ehrich, H.-D.: Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. In: Pitt, D., Abramsky, S., Poign\u00e9, A., Rydeheard, D. (eds.) Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 412\u2013433. Springer, Heidelberg (1986)"},{"key":"2_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-94709-3","volume-title":"Algebraische Spezifikation Abstrakter Datentypen","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich, H.-D., Gogolla, M., Lipeck, U.W.: Algebraische Spezifikation Abstrakter Datentypen. Teubner, Stuttgart (1989)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BFb0019445","volume-title":"Foundations of Object-Oriented Languages","author":"H.-D. Ehrich","year":"1991","unstructured":"Ehrich, H.-D., Goguen, J.A., Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1990. LNCS, vol.\u00a0489, pp. 203\u2013228. Springer, Heidelberg (1991)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(83)90098-1","volume":"27","author":"H.-D. Ehrich","year":"1983","unstructured":"Ehrich, H.-D., Lipeck, U.: Algebraic Domain Equations. Theoretical Computer Science\u00a027, 167\u2013196 (1983)","journal-title":"Theoretical Computer Science"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BFb0014430","volume-title":"Recent Trends in Data Type Specification","author":"H.-D. Ehrich","year":"1995","unstructured":"Ehrich, H.-D., Sernadas, A.: Local Specification of Distributed Families of Sequential Objects. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds.) Abstract Data Types 1994 and COMPASS 1994. LNCS, vol.\u00a0906, pp. 219\u2013235. Springer, Heidelberg (1995)"},{"issue":"1-2","key":"2_CR13","first-page":"33","volume":"26","author":"H.-D. Ehrich","year":"1990","unstructured":"Ehrich, H.-D., Sernadas, A., Sernadas, C.: From Data Types to Object Types. J. Inf. Process. Cybern. EIK\u00a026(1-2), 33\u201348 (1990)","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"2_CR14","first-page":"157","volume-title":"Parameterized Data Types in Algebraic Specification Languages","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Parameterized Data Types in Algebraic Specification Languages, pp. 157\u2013168. Springer, Berlin (1980)"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"Proceedings of the 14th Annual Symposium on Switching and Automata Theory (SWAT 1973)","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: Proceedings of the 14th Annual Symposium on Switching and Automata Theory (SWAT 1973), pp. 167\u2013180. IEEE Computer Society, Washington, DC, USA (1973)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(84)90056-2","volume":"34","author":"M. Gogolla","year":"1984","unstructured":"Gogolla, M., Drosten, K., Lipeck, U., Ehrich, H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theoretical Computer Science\u00a034, 289\u2013313 (1984)","journal-title":"Theoretical Computer Science"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: Objects. International Journal of General Systems, 1563-5104\u00a01, 237\u2013243 (1974)","DOI":"10.1080\/03081077408960783"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: Some Design Principles and Theory for OBJ-0. In: Yeh, R. (ed.) LNCS, vol.\u00a075, pp. 425\u2013475. Prentice-Hall (1979)","DOI":"10.1007\/3-540-09541-1_36"},{"key":"2_CR19","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. In: Yeh, R. (ed.) Current Trends in Programming Methodology IV, pp. 80\u2013149. Prentice-Hall (1978)"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. Journal of the ACM\u00a024, 68\u201395 (1977)","journal-title":"Journal of the ACM"},{"key":"2_CR21","unstructured":"Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of Abstract Data Types. J. Wiley & Sons and B.G. Teubner Publishers (1996)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D.S. Scott","year":"1976","unstructured":"Scott, D.S.: Data Types as Lattices. SIAM J.\u00a0Comp.\u00a05, 522\u2013587 (1976)","journal-title":"SIAM J.\u00a0Comp."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Smyth, M.B., Plotkin, G.D.: The Category-Theoretic Solution of Recursive Domain Equations. In: Proc. 18th IEEE FOCS, pp. 13\u201317 (1977)","DOI":"10.1109\/SFCS.1977.30"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28412-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T19:45:06Z","timestamp":1556394306000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28412-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284113","9783642284120"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28412-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}