{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:32Z","timestamp":1725662972437},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095194"},{"type":"electronic","value":"9783540351283"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09519-5_100","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:46:20Z","timestamp":1330188380000},"page":"514-530","source":"Crossref","is-referenced-by-count":3,"title":["On the design of algebraic data structures with the approach of abstract data types"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Ausiello","sequence":"first","affiliation":[]},{"given":"Giovanni Francesco","family":"Mascari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"49_CR1","unstructured":"(JAG,JWT,ECW) J.A.Goguen, J.W.Thatcher, E.G.Wagner \"An initial algebra approach to the specification, correctness, and implementation of abstract data types\" IBM Research Report RC-6487, October 1976."},{"key":"49_CR2","unstructured":"(JAG) J.A.Goguen \"Abstract errors for abstract data types\". UCLA Semantics Theory of Computation Report 6, February 1977. Proceedings IFIP Working Conference on Formal Description of Programming Concepts. St. Andrews, New Brusswick, pp. 21.1\u201321.32. August 1977."},{"key":"49_CR3","unstructured":"R.M. Burstall and J.A.Goguen \"Putting Theories together to make Specifications\". Proceedings 1977 IJCAI,MIT, Cambridge, MA, August 1977."},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"H.Ehrig, H.J.Kreowski and P.Padawitz \"Stepwise specification and implementation of abstract data types\". Technical University of Berlin, Report, March 1978.","DOI":"10.1007\/3-540-08860-1_16"},{"key":"49_CR5","unstructured":"R.Fateman \"Essays in algebraic simplification\". Ph.D. diss, Harward U., Cambridge, Mass., 1971."},{"key":"49_CR6","doi-asserted-by":"crossref","unstructured":"M.Griss \"The Definition and Use of Data Structures in Reduce\". Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation.","DOI":"10.1145\/800205.806323"},{"key":"49_CR7","unstructured":"J.V.Guttag \"The specification and application to programming of abstract data types\". University of Toronto, Computer Systems Research Group, Technical Report CSRG-59, September 1975."},{"key":"49_CR8","doi-asserted-by":"crossref","unstructured":"A.C.Hearn \"A new REDUCE model for Algebraic Simplification\". Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation.","DOI":"10.1145\/800205.806322"},{"key":"49_CR9","unstructured":"G.Huet \"Confluent reductions: abstract properties and applications to term rewriting systems\". Rapport de Recherche \u2014 IRIA."},{"key":"49_CR10","unstructured":"E.Horowitz and S. Sahni \"Fundamentals of Data Structures\". Computer Science Press, Inc., 1976."},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"R.Loos \"Toward a Formal Implementation of Computer Algebra\". Symsam 1974.","DOI":"10.1145\/1086837.1086839"},{"key":"49_CR12","doi-asserted-by":"crossref","unstructured":"G.Levi, and F.Sirovich \"Proving program properties, symbolic evaluation and logical procedural semantics\". Mathematical Foundations of Computer Science 1975. Lecture Notes in Computer Science, Springer Verlag, pp. 294\u2013301.","DOI":"10.1007\/3-540-07389-2_211"},{"key":"49_CR13","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. H. Liskov","year":"1974","unstructured":"B.H. Liskov, S.N. Zilles \"Programming with abstract data types\". Proc. of ACM Symp. on Very High Level Languages, SIGPLAN Notices 9, pp. 50\u201359 (1974).","journal-title":"Proc. of ACM Symp. on Very High Level Languages, SIGPLAN Notices"},{"key":"49_CR14","doi-asserted-by":"crossref","unstructured":"J.Moses \"Algebraic Simplification: A Guide for the Perplexed\". Communications of ACM August 1971, Vol. 14, N.8.","DOI":"10.1145\/362637.362648"},{"key":"49_CR15","unstructured":"J.W.Thatcher, E.G.Wagner, J.B.Wright \"Data Type Specification: Parameterization and the Power of Specification Techniques\". Report IBM Laboratories. Yorktown Heights."},{"key":"49_CR16","unstructured":"S.N.Zilles \"Algebraic Specification of data types\". Project MAC Progress Report 11, MIT, Cambridge, Mass."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09519-5_100.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:13Z","timestamp":1605643273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09519-5_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095194","9783540351283"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-09519-5_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}