{"entities":{"Q1082804":{"pageid":1093556,"ns":120,"title":"Item:Q1082804","lastrevid":66098406,"modified":"2026-04-12T07:32:05Z","type":"item","id":"Q1082804","labels":{"en":{"language":"en","value":"Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974264"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$F56F541D-DA6E-49BE-995D-F552630507EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f27385cbaec7694b49ed5431dd74205e92801d4","datavalue":{"value":{"text":"Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082804$D017F313-C169-41A3-9098-1D6645D27E8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ee6fdec18ea062e985e76f86124499e1b42f88a","datavalue":{"value":"0603.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082804$B4AB9EBB-99F1-49EB-A613-92DC3F158EA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e3071c0efde17ab6a7b6c2ca15c631b8325e52b","datavalue":{"value":"10.1016/0304-3975(86)90019-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082804$22401A57-9F8B-4604-B8C7-85D3E3D701BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"790d1912276399515eed47884105e4d744ff3960","datavalue":{"value":{"entity-type":"item","numeric-id":662599,"id":"Q662599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$A99AA597-61BF-462A-8BEC-E8A1BC4405EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6480161792098e32949425ead8570d90a9967f","datavalue":{"value":{"entity-type":"item","numeric-id":671499,"id":"Q671499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$F490A485-DBC4-4CCD-B07A-6DD87ED00D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0780c10b7b2f39c3a70c06dcbfe7b2d4edd10320","datavalue":{"value":{"entity-type":"item","numeric-id":315306,"id":"Q315306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$6014B3E6-F9C4-4A73-8A95-D5208C1F9871","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$E50CAFED-21F3-49E2-9EFD-6A3B644B21D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1082804$B7370EC7-E7BA-4824-9CC8-ADFB89404E23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdb4732f6d918190dfec304b902f2b2e9891e6b1","datavalue":{"value":"In this paper, a new semantics for exception handling in algebraic specifications is provided. Our formalism allows all forms of exception and error handling (several error messages, implict error propagation rule, exception recovery policy), while preserving the existence of initial models. The main concepts of our approach are: the distinction between exception and error, and the introduction of exception labelling allowing to formalize various error messages. This formalism allows use of congruences in a similar manner as in the classical abstract data type theory. Moreover, we show how a functorial semantics of enrichment can be carried over to our framework, and we show how hierarchical consistency and sufficient completeness can be include exception handling. Indeed, abstract implementation of specifications including exception handling was one of main motivations for the work reported here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082804$FC5B0DCE-E3D7-4879-B055-DB6DC6F8127D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082804$15378903-F800-4D41-B63D-47623915C5A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb7f2cdce513717b4069ca710b2aa0180cd323a7","datavalue":{"value":"3974264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082804$314291AC-0E2D-4998-BD89-67CA88B62303","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da228d37f82c1c51acd46aa3d727bc51b0147c11","datavalue":{"value":"exception algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082804$1C35DBFD-025B-473F-A996-0B00BE4E7420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082804$BD486275-7EE5-4E5D-A116-5BDF916B88DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082804$A795ED78-1FDD-44FA-8136-3D1251C559DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71136dcdf3b574afa41ac45e76659510e76dc9de","datavalue":{"value":"error handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082804$554B132A-2DF4-48C8-8864-ECB7827AF76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6275eb5d9cb6f912d608926ab098e789c3981aa","datavalue":{"value":"exception recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082804$576A7AD0-4E8B-48BD-9401-D9E3DAB8E6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6befd59ce01eb8933ce27077b5d5ea677a5b8fe","datavalue":{"value":"initial models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082804$0D5125D7-3B73-4985-B1BC-E29606A11C94","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$4BC0AFF1-CB4C-4876-9583-92327D5A1EEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb1c932c5319d6045d4de3335d42579aeb686eac","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90019-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1082804$DC8AABCD-3F8E-436A-980E-39FA6504D229","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c32eaaf5228d908ba4c304edc3a2d1c78cb29e1","datavalue":{"value":"W2066995661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082804$9797E215-BAF0-43A6-AC8C-03C5C1AD4DE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8793ae731c44f49983566a899e398179e6800545","datavalue":{"value":{"entity-type":"item","numeric-id":3709866,"id":"Q3709866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$C31C4C1C-D6B4-41B9-9676-88B378CF87FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03669d519db26d478411e3d3ce98a8850d13343c","datavalue":{"value":{"entity-type":"item","numeric-id":3216121,"id":"Q3216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$43375775-5CEA-495D-A2D8-7DE2F80121F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da60b1cbb0bdce1839789e5e6577b231b8d2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3871894,"id":"Q3871894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$6712FA4E-CB2E-4B30-A7B5-AB911DA18F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9a5695edf774948effa6f9a180e1493d82669b","datavalue":{"value":{"entity-type":"item","numeric-id":3907050,"id":"Q3907050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$1E35E524-C738-4B8D-8B70-97F9E5149DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$FA711824-A4DB-4084-A06F-3503CC290FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f802e7e6bc6c2862293d40c4b1969d8ec0000208","datavalue":{"value":{"entity-type":"item","numeric-id":759478,"id":"Q759478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$C940000D-EDF8-441D-B7B3-6A4BD9B0C92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$56DBFC70-CD60-401A-8D3E-BDEDAF437C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$468AAFD6-FE3D-4BB7-AC2B-F407D75FF94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5179e1244f020574a96d7416f56f78444dcb67f0","datavalue":{"value":{"entity-type":"item","numeric-id":2552750,"id":"Q2552750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$591496AD-944D-4296-96F5-6F1071717711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082804$0503CF37-D6B8-4703-956E-F757227E6CFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e278d8977b0517da1506446f760caa71df8e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":3713576,"id":"Q3713576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47672bc09b61eae0204f2f922fe7349b9cd0e00","datavalue":{"value":{"amount":"+0.90377676486969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082804$7D5CB5CC-D28F-42AE-8C59-569782D192A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520cbf08dcb99f7cf87cd5d56188500ee9d5a00e","datavalue":{"value":{"entity-type":"item","numeric-id":759478,"id":"Q759478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103a2acbc5d4a07623df8362e63d09d0deb0d234","datavalue":{"value":{"amount":"+0.8669418692588806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082804$61475F49-60CD-4AB9-8F06-E12AAB1093AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf0599939b6c2eb993a2c003d0da90c1aafa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3707380,"id":"Q3707380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3940ae7428a0c1b4d7b100cdeee48b488be4802b","datavalue":{"value":{"amount":"+0.834153950214386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082804$D3074055-C587-46C9-9FE1-2D8C9B9DDFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce6f7d14f0dde824b2946c21eb90b71ada2dbd3","datavalue":{"value":{"entity-type":"item","numeric-id":3216121,"id":"Q3216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d6d3080ecea75eda1f96de9a9971283fde1545","datavalue":{"value":{"amount":"+0.8319514989852905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082804$48CDB4C1-2D42-4BA6-BBA5-8C12FCC7C9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2862879da5f78c08262df99c70675dd7ac960a26","datavalue":{"value":{"entity-type":"item","numeric-id":1346685,"id":"Q1346685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaaa43d400eda741c06c4ed85f5c61591fd6771","datavalue":{"value":{"amount":"+0.8111908435821533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082804$BC8E0429-2836-4A93-99C8-0C5A8522B250","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_data_types_with_exception_handling:_An_initial_approach_based_on_a_distinction_between_exceptions_and_errors"}}}}}