{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:30Z","timestamp":1725663450128},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:40:25Z","timestamp":1330195225000},"page":"173-186","source":"Crossref","is-referenced-by-count":1,"title":["Algebraic semantics of exception handling"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Bernot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Bidoit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Choppy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"13_CR1","unstructured":"Goguen J., Thatcher J., Wagner E.: \"An initial algebra approach to the specification, correctness, and implementation of abstract data types\", Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978 (also IBM Report RC 6487, Oct. 1976)."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Thatcher J., Wagner W., Wright J.: \"Data type specification: parameterization and the power of specification techniques\", Proc. of SIGACT 10th Annual Symposium on Theory of Computing, 1979.","DOI":"10.1145\/800133.804340"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig H., Kreowski H., Thatcher J., Wagner J., Wright J.: \"Parameterized data types in algebraic specification languages\", Proc. 7th ICALP, July 1980.","DOI":"10.1007\/3-540-10003-2_68"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bernot G., Bidoit M., Choppy C.: \"Abstract implementations and correctness proofs\", Proc. 3rd STACS, January 1986, Springer-Verlag LNCS.","DOI":"10.1007\/3-540-16078-7_80"},{"key":"13_CR5","series-title":"DEA Report","volume-title":"Impl\u00e9mentations de types abstraits alg\u00e9briques en pr\u00e9sence d'exceptions","author":"G. Bernot","year":"1984","unstructured":"Bernot G.: \"Impl\u00e9mentations de types abstraits alg\u00e9briques en pr\u00e9sence d'exceptions\", DEA Report, LRI, Orsay, Sept. 1984."},{"key":"13_CR6","unstructured":"Bernot G.: \"Une s\u00e9mantique alg\u00e9brique pour une sp\u00e9cification diff\u00e9renci\u00e9e des exceptions et des erreurs: application \u00e0 l'impl\u00e9mentation et aux primitives de structuration des sp\u00e9cifications formelles\", Th\u00e8se de troisi\u00e8me cycle, Universit\u00e9 de Paris-Sud, 1986."},{"key":"13_CR7","unstructured":"Bidoit M.: \"Algebraic data types: structured specifications and fair presentations\", Proc. of AFCET Symposium on Mathematics for Computer Science, Paris, March 1982."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Bidoit M.: \"Algebraic specification of exception handling by means of declarations and equations\", Proc. 11th ICALP, Springer-Verlag LNCS 172, July 1984.","DOI":"10.1007\/3-540-13345-3_8"},{"key":"13_CR9","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":"13_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig H., Kreowski H., Mahr B., Padawitz P.: \"Algebraic implementation of abstract data types\", Theoretical Computer Science, Oct. 1980.","DOI":"10.1145\/1008620.1008622"},{"key":"13_CR11","unstructured":"Engels G., Pletat V., Ehrich H.: \"Handling errors and exceptions in the algebraic specification of data types\", Osnabruecker Schriften zur Mathematik, July 1981."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Gogolla M., Drosten K., Lipeck U., Ehrich H.D.: \"Algebraic and operational semantics of specifications allowing exceptions and errors\", Theoretical Computer Science 34, North Holland, 1984.","DOI":"10.1016\/0304-3975(84)90056-2"},{"key":"13_CR13","unstructured":"Goguen J.A.: \"Abstract errors for abstract data types\", Formal Description of Programming Concepts E.J. NEUHOLD Ed., North Holland, New York"},{"key":"13_CR14","unstructured":"Goguen J.A.: \"Exceptions and error sorts, coercion and overloading operators\", SRI Research Report, 1978."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Guttag J.V.: \"Notes on type abstraction (Version 2)\", IEEE Transactions on Software Engineering, 1979.","DOI":"10.1109\/TSE.1980.230209"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Loeckx J.: \"Algorithmic specifications of abstract data types\", ICALP 1981.","DOI":"10.1007\/3-540-10843-2_11"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Mac Lane S.: \"Categories for the working mathematician\", Graduate texts in mathematics, 5, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"13_CR18","unstructured":"Plaisted D.: \"An initial algebra semantics for error presentations\", Unpublished Draft, 1982."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Sannella D., Wirsing M.: \"A kernel language for algebraic specification and implementation\", Proc. Intl. Conf. on Foundations of computation Theory, Springer-Verlag, LNCS 158, 1983.","DOI":"10.1007\/3-540-12689-9_122"},{"key":"13_CR20","unstructured":"Wirsing M.: \"Structured algebraic specifications\", Proc. of AFCET Symposium on Mathematics for Computer Science, Paris, March 1982."},{"key":"13_CR21","unstructured":"Wirsing M.: \"Structured algebraic specifications: a kernel language\", Habilitation thesis, Technische Universitat Munchen, 1983."}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:03Z","timestamp":1605643803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}