{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:32Z","timestamp":1725662912325},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133452"},{"type":"electronic","value":"9783540388869"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13345-3_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:04:43Z","timestamp":1330193083000},"page":"95-108","source":"Crossref","is-referenced-by-count":13,"title":["Algebraic specification of exception handling and error recovery by means of declarations and equations"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"8_CR1","unstructured":"Goguen J., Thatcher J. Wagner E., \"An Initial Algebra approach to the specification, correctness, and implementation of abstract data types\" in Current Trends in Programming Methodology, Vol. 4, Yeh Ed. Prentice Hall, 1978 (also IBM Report RC 6487, October 1976)."},{"key":"8_CR2","unstructured":"Bidoit M., Gaudel M.C., \"Etudes des methodes de specification des cas d'exceptions dans les types abstraits algebriques\", Report L.R.J, Orsay, 1983."},{"key":"8_CR3","unstructured":"Boisson F., Guiho G., Pavot D., \"Algebres a Operateurs Multicibles\" Report LRI 132, Orsay, June 1983."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Broy M., Wirsing M., \"Partial Abstract Data Types\" Acta Informatica, Vol.18\u20131, Nov 1982.","DOI":"10.1007\/BF00625280"},{"key":"8_CR5","unstructured":"Engels G., Pletat V., Ehrich H. \"Handling Errliors and Exceptions in the Algebraic Specification of Data Types\" Osnabruecker Schriften zur Mathematik, July 1981."},{"key":"8_CR6","unstructured":"Gogolla M., Drosten K., Lipeck U., Ehrich H., \"Algebraic and operational semantics of specifications allowing exceptions and errors\" Proc. 6th GT-Conference on Theoretical Computer Science, INCS 145, 1983, Springer-Verlag."},{"key":"8_CR7","volume-title":"Formal Description of Programming Concepts","author":"J. A. Goguen","year":"1977","unstructured":"Goguen J.A., \"Abstract errors for abstract data types\" in Formal Description of Programming Concepts E.J. Neuhold Ed., North Holland, New York 1977."},{"key":"8_CR8","unstructured":"Goguen J.A., \"Exception and Error Sorts, Coercion and Overloading Operators\" S.R.I. Research Report, 1978."},{"key":"8_CR9","unstructured":"Guttag J.V., \"The Specification and Application to Programming\" Ph.D. Thesis, University of Toronto, 1975."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Guttag J.V., \"Notes on Type Abstraction (Version 2)\" I.E.E.E. Transactions on Software Engineering, 1979.","DOI":"10.1109\/TSE.1980.230209"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Loeckx J., \"Algorithmic Specifications of Abstract Data Types\" ICALP 1981.","DOI":"10.1007\/3-540-10843-2_11"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Liskov B., Zilles S., \"Specifications techniques for Data Abstractions\" I.E.E.E. Transactions on Software Engineering, Vol. SE-1 N 1, March 1975.","DOI":"10.1109\/TSE.1975.6312816"},{"key":"8_CR13","unstructured":"Plaisted D. \"An initial algebra semantics for error presentations\" Unpublished Draft, 1982"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13345-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:21Z","timestamp":1605643641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13345-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133452","9783540388869"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-13345-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}