{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T05:40:37Z","timestamp":1697953237898},"reference-count":18,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":6756,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1988,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes an exception detection and exception handling method for constructive algebraic specifications. A notation that supports exception handling is introduced. First, a safety function is provided for every sort. This function characterizes each object as being safe or unsafe. Secondly, axioms may contain markers that indicate when they are applicable.<\/jats:p><jats:p>The proposed notation is a trade\u2010off between readability and capability to handle a large class of exceptional situations. The description of exception handling promotes a two\u2010step design method for constructive algebraic specifications. In a first step the specification is given with exception detection only; in a second step exception handling is superimposed.<\/jats:p>","DOI":"10.1002\/spe.4380180505","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T20:44:53Z","timestamp":1163796293000},"page":"443-458","source":"Crossref","is-referenced-by-count":5,"title":["An exception handling method for constructive algebraic specifications"],"prefix":"10.1002","volume":"18","author":[{"given":"Ivo","family":"van Horebeek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Lewi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eddy","family":"Bevers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Duponcheel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willy","family":"van Puymbroeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/1006258.1006273"},{"key":"e_1_2_1_3_2","first-page":"80","volume-title":"Current Trends in Programming Methodology","author":"Goguen J. A.","year":"1978"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232207"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"K.Futatsugi J. A.Goguen J.JouannaudandJ.Meseguer \u2018Principles of OBJ2\u2019 ACM Proceedings of the Annual Symposium on Principles of Programming Languages 1985.","DOI":"10.1145\/318593.318610"},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"M.Gogolla K.Drosten U.LipeckandH.Ehrich \u2018Algebraic and operational semantics of specifications allowing exceptions and errors\u2019 Theoretical Computer Science no. 34 289\u2013313(1984).","DOI":"10.1016\/0304-3975(84)90056-2"},{"key":"e_1_2_1_7_2","unstructured":"J. A.GoguenandJ.Meseguer \u2018Order\u2010sorted algebra. 1. partial and overloaded operators errors and inheritance\u2019 presented at the International Summer School on Advanced Programming Methodologies San Sebastian 1985."},{"key":"e_1_2_1_8_2","unstructured":"I.Van HorebeekandJ.Lewi \u2018An introduction to algebraic specifications: from initial algebras to constructive specifications\u2019 Report CW 49 K. U. Leuven 1986."},{"key":"e_1_2_1_9_2","unstructured":"I.Van Horebeek \u2018Formal specifications based on many\u2010sorted initial algebras and its applications to software engineering\u2019 Ph.D. Thesis K. U. Leuven February1988."},{"key":"e_1_2_1_10_2","first-page":"99","volume-title":"Advances in Microprocessing and Microprogramming","author":"Goovaerts V.","year":"1984"},{"key":"e_1_2_1_11_2","first-page":"105","volume-title":"Advances in Microprocessing and Microprogramming","author":"Van Puymbroeck W.","year":"1984"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90062-8"},{"key":"e_1_2_1_13_2","unstructured":"N.Wirth \u2018The programming language Modula\u20102\u2019 Report no. 36 ETH Zurich 1980."},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010277"},{"key":"e_1_2_1_15_2","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"Ehrig H.","year":"1985"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/947864.947865"},{"key":"e_1_2_1_17_2","volume-title":"Formal Languages: Perspectives and Open Problems","author":"Huet G.","year":"1980"},{"key":"e_1_2_1_18_2","first-page":"459","volume-title":"Algebraic Methods in Semantics","author":"Meseguer J.","year":"1985"},{"key":"e_1_2_1_19_2","unstructured":"J.MeseguerandJ. A.Goguen \u2018Deduction with many\u2010sorted rewrite rules\u2019 Technical Report SRI International Computer Science Lab. 1985."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380180505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380180505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T17:16:26Z","timestamp":1697908586000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380180505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,5]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1988,5]]}},"alternative-id":["10.1002\/spe.4380180505"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380180505","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,5]]}}}