{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:59Z","timestamp":1725662939041},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:05:08Z","timestamp":1330193108000},"page":"317-336","source":"Crossref","is-referenced-by-count":4,"title":["Partial implementations of abstract data types: A dissenting view on errors"],"prefix":"10.1007","author":[{"given":"Samuel","family":"Kamin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myla","family":"Archer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"16_CR1","first-page":"304","volume":"27","author":"E.K. Blum","year":"1983","unstructured":"E.K. Blum, F. Parisi-Presicce, Implementation of Data Types by Algebraic Methods, JCSS 27, 304\u2013330, 1983.","journal-title":"JCSS"},{"key":"16_CR2","first-page":"292","volume":"86","author":"R.M. Burstall","year":"1980","unstructured":"R.M. Burstall, J.A. Goguen, The Semantics of CLEAR, A Specification Language, Proc. 1979 Copenhagen Winter School: Abstract Software Specifications, Springer-Verlag LNCS 86, 292\u2013332, 1980.","journal-title":"Proc. 1979 Copenhagen Winter School: Abstract Software Specifications, Springer-Verlag LNCS"},{"issue":"1","key":"16_CR3","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"H.-D. Ehrich, On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types, JACM 29(1), 206\u2013277, 1982.","journal-title":"JACM"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0304-3975(82)90121-9","volume":"27","author":"H. Ehrig","year":"1983","unstructured":"H. Ehrig, H.-J. Kreowski, Compatibility of Parameter Passing and Implementation of Parameterized Data Types, TCS 27, 255\u2013286, 1983.","journal-title":"TCS"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"H. Ehrig, H.-J. Kreowski, B. Mahr, P. Padawitz, Algebraic Implementation of Abstract Data Types, TCS 20, 209\u2013263, 1982.","journal-title":"TCS"},{"key":"16_CR6","first-page":"332","volume":"134","author":"H. Ehrig","year":"1981","unstructured":"H. Ehrig, H.-J. Kreowski, J. Thatcher, E. Wagner, J. Wright, Parameter-Passing in Algebraic Specification Languages, in J. Staunstrup (ed.), Program Specification, Springer-Verlag LNCS 134, 332\u2013369, 1981.","journal-title":"Springer-Verlag LNCS"},{"issue":"3","key":"16_CR7","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"H. Ganzinger, Parameterized Specifications: Parameter-Passing and Implementation with Respect to Observability, ACM TOPLAS 5(3), 318\u2013354, 1983.","journal-title":"ACM TOPLAS"},{"key":"16_CR8","unstructured":"S. Gerhart, An Experiment in Data Representation Verification, USC-ISI Report, 1979."},{"key":"16_CR9","unstructured":"J. Goguen, Abstract Errors for Abstract Data Types, in E. Neuhold (ed.), Formal Description of Programming Concepts, North-Holland, 1978, 491\u2013526."},{"key":"16_CR10","unstructured":"J. Goguen, Order-Sorted Algebra: Exceptions and Error Sorts, Coercions and Overloaded Operators (Abstract), SRI Technical Report."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"J. Goguen, J. Meseguer, Universal Realization, Persistent Interconnection and Implementation of Abstract Modules, 9th ICALP, Springer-Verlag LNCS 140, 1982.","DOI":"10.1007\/BFb0012775"},{"key":"16_CR12","unstructured":"J. Goguen, J. Meseguer, An Initiality Primer, SRI Report, 1983."},{"key":"16_CR13","unstructured":"J. Goguen, J. Thatcher, E. Wagner, An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, in R. Yeh (ed.), Current Trends in Programming Methodology IV, Prentice-Hall, 1979, 80\u2013149."},{"key":"16_CR14","unstructured":"G. Gr\u00e4tzer, Universal Algebra, Van Nostrand, 1968."},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J. Guttag","year":"1978","unstructured":"J. Guttag, E. Horowitz, D. Musser, Abstract Data Types and Software Validation, CACM 21, 1048\u20131064, 1978.","journal-title":"CACM"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare, Proof of Correctness of Data Representations, Acta Informatica 1, 271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"16_CR17","first-page":"291","volume":"88","author":"U. Hupbach","year":"1980","unstructured":"U. Hupbach, Abstract Implementation of Abstract Data Types, Proc. 9th MFCS, Springer-Verlag LNCS 88, 291\u2013304, 1980.","journal-title":"Proc. 9th MFCS, Springer-Verlag LNCS"},{"key":"16_CR18","volume-title":"Software Development: A Rigorous Approach","author":"C. Jones","year":"1980","unstructured":"C. Jones, Software Development: A Rigorous Approach, Prentice-Hall International, London, 1980."},{"issue":"1","key":"16_CR19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/357195.357202","volume":"5","author":"S. Kamin","year":"1983","unstructured":"S. Kamin, Final Data Types and their Specification, ACM TOPLAS 5(1), 97\u2013123, 1983.","journal-title":"ACM TOPLAS"},{"key":"16_CR20","unstructured":"S. Kamin, S. Jefferson, M. Archer, The Role of Executable Specifications: The FASE System, Proc. IEEE Symposium on Application and Assessment of Automated tools for Software Development, November, 1983."},{"key":"16_CR21","unstructured":"D. Knuth, Fundamental Algorithms, Addison-Wesley, 1973."},{"key":"16_CR22","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"Se-1","author":"B. Liskov","year":"1975","unstructured":"B. Liskov, S. Zilles, Specification Techniques for Data Abstractions, IEEE Trans. Soft. Engg. Se-1, 7\u201319, 1975.","journal-title":"IEEE Trans. Soft. Engg."},{"key":"16_CR23","unstructured":"M. Majster, Treatment of Partial Operations in the Algebric Specification Technique, Proc. IEEE Conf. on Specifications of Reliable Software, Cambridge, Mass., 190\u2013197, 1979."},{"issue":"2","key":"16_CR24","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1145\/322374.322381","volume":"30","author":"C.F. Nourani","year":"1983","unstructured":"C.F. Nourani, Abstract Implementations and Their Correctness Proofs, JACM 30(2), 343\u2013359, 1983.","journal-title":"JACM"},{"key":"16_CR25","first-page":"504","volume":"88","author":"H. Reichel","year":"1980","unstructured":"H. Reichel, Initially-restricting algebraic theories, Proc. 9th MFCS, Rydzyna, Poland, Springer-Verlag LNCS 88, 504\u2013514, 1980.","journal-title":"Proc. 9th MFCS, Rydzyna, Poland, Springer-Verlag LNCS"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"D. Sannella, M. Wirsing, Implementation of Parameterised Specifications, Report CSR-103-82, Dept. of Comp. Sci., U. of Edinburgh, 1982.","DOI":"10.1007\/BFb0012793"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"J. Thatcher, E. Wagner, J. Wright, Data Type Specification: Parameterization and the Power of Specification Techniques, 10th SIGACT Symp. on Theory of Computing, May, 119\u2013132, 1978.","DOI":"10.1145\/800133.804340"},{"issue":"1","key":"16_CR28","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(82)90097-4","volume":"20","author":"M. Wand","year":"1982","unstructured":"M. Wand, Specifications, Models, and Implementations of Data Abstractions, TCS 20(1), 3\u201332, 1982.","journal-title":"TCS"},{"key":"16_CR29","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/TSE.1976.233830","volume":"SE-2","author":"W. Wulf","year":"1976","unstructured":"W. Wulf, R. London, M. Shaw, An Introduction to the Construction and Verification of ALPHARD Programs, IEEE Trans. on Software Engg. SE-2, 253\u2013265, 1976.","journal-title":"IEEE Trans. on Software Engg."}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:23Z","timestamp":1605643643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}