{"entities":{"Q1079358":{"pageid":1090110,"ns":120,"title":"Item:Q1079358","lastrevid":66093096,"modified":"2026-04-12T07:30:09Z","type":"item","id":"Q1079358","labels":{"en":{"language":"en","value":"Algebraic implementations preserve program correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963177"}},"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":"Q1079358$1BC2C51D-B21C-444F-861F-9EB4236595BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff21d757bc8a0afed64dd8f991431daceec234d4","datavalue":{"value":{"text":"Algebraic implementations preserve program correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079358$06A5E06B-B006-43DB-96A5-62540FF1DE7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"101d3b4fc38a4ab3fde0ec98c4132671b3a1976b","datavalue":{"value":"0597.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079358$55A8CE57-58B9-4495-A959-43DAB99911BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c54d1ba8acdc6295c88cf2af2c6ab1792f09252","datavalue":{"value":"10.1016/0167-6423(86)90004-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079358$99A6D851-EAD3-48A6-90AD-219D833D77A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079358$F6AD96AE-FE7B-42CC-BC08-835D57CB5B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079358$B7A35034-AEB2-4481-AB52-1D290A125CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f070e6b07a0173f14bde227f02429cbec1ff3","datavalue":{"value":{"entity-type":"item","numeric-id":578897,"id":"Q578897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079358$0C346944-3AC7-4015-B420-13E2B30A0664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079358$BBD3B6C9-919E-464E-B8F8-74F554AE7459","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079358$4ABC9317-5E8B-4266-AACC-105CAF4DF803","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":"Q1079358$E940B1FD-DF3E-4EF0-AB64-7280D1004C04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac3015e1e3595727bc3cfab10a7fe5ee1f060f53","datavalue":{"value":"Algebraic specification of data types are a method for giving a precise formal description of the computation structures to be used in a software project. After the validation of an algebraic specification an implementation of these computation structures has to be developed, if the computation structures are to be used. In constrast to approaches where concrete models of data types are constructed it is suggested in this paper to replace an algebraic specification by another one which is closer to the computation structures available in the target machine or the target language. Correctness criteria are given that guarantee the preservation of partial or total correctness of programs when replacing the given algebraic specifications on which the programs operate by the new ones. This way the concept of algebraic implementations and their correctness is obtained. Moreover the transitivity of implementations is shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079358$67A178A4-FA28-4A21-94FE-95B7BF9672CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079358$E1335F68-A73A-4AEF-8890-DFFDC0550707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079358$3ED3431B-1F9B-4FC0-B1E6-D7AC11317F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079358$979E5086-4DC0-4D32-96E8-DCE237F0A456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ec732a812459cebeb21e453ae1ab10d41d2f8e8","datavalue":{"value":"3963177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079358$45777D95-03BA-4104-8622-5919C81226B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079358$BADE93D7-A50C-47A6-A306-E1EC65ECE030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf31d72c83a4307be13cbc120b339dba1a990989","datavalue":{"value":"Algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079358$3096C6A8-682A-497F-919E-D5DA793B6C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c166c77611aa2e2f400f589410ff7ac39e5564b0","datavalue":{"value":"Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079358$117EBF8B-3E96-4BF7-88AF-3A798A09FB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079358$42F82D12-8654-4D75-A35A-8F9C006FC504","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":"Q1079358$C3202BDD-D215-4988-A6D6-9C813A9C39D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e1543db9eb2db29d60d01b34f54715efc3bcf46","datavalue":{"value":"https://doi.org/10.1016/0167-6423(86)90004-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079358$FDACBFAF-310D-4C2C-8B7A-59A0411D7698","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eed20b67e55ca48b28bd497dc927cf4da2c870f7","datavalue":{"value":"W2007398626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079358$3A805138-326C-4897-A65F-D420FA7C7B66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c0703e26c2d4329fd0b8cfa4c525b0acc8c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2695364,"id":"Q2695364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c71a3994da473b182fe11e0a7e98f8c404248b","datavalue":{"value":{"amount":"+0.89098155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$8C0D9AE9-2919-4089-84DA-1AD3B7A91A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56eadf349942bffa987f68b35f16ff67e645c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3723680,"id":"Q3723680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335b95c40062efccb3dd28fb59585af12168b2bb","datavalue":{"value":{"amount":"+0.8688837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$CA9E7C13-1D84-4223-9FBC-5D74D30882C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5651a3859cd5370e6d57a0e9f77719e4a21ded3","datavalue":{"value":{"entity-type":"item","numeric-id":5754533,"id":"Q5754533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5a379635bcc5d07bf9ced0843f991cf5fba21f","datavalue":{"value":{"amount":"+0.85909003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$8BC22D57-E47E-41BB-AD6D-C62E0386AD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c76f129bf8923c565dbeae67dede8c0ec5bc5e","datavalue":{"value":{"amount":"+0.85885555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$9A501D05-919B-4F77-B0CE-4FB34461F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f1295be1516fb194cc2e48e8c76d4119a460ef","datavalue":{"value":{"amount":"+0.8567444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$C67E642C-3559-4185-806B-4B2C29FE1211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ca8840e5358709ccdbd3bd9abc41594bb630d6","datavalue":{"value":{"entity-type":"item","numeric-id":583876,"id":"Q583876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29452b5e19c76331912a06035aa6b5bc0937d078","datavalue":{"value":{"amount":"+0.856701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$8B115D60-4139-4080-B115-10F54DE55383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313bf679f1a9fe3169f8e1dacdfed014ca4ae009","datavalue":{"value":{"amount":"+0.85579586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$3F1526B5-9042-4F86-87CB-978995303B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723e689ac159aaa2f836408d7014db2f461e38da","datavalue":{"value":{"entity-type":"item","numeric-id":5173658,"id":"Q5173658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb85fc3cb0a0a7883db0dcce2b190e870b516ea7","datavalue":{"value":{"amount":"+0.854159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$0E3C173A-5B1C-41E5-95DE-04EFED2C3D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16905f02a7d6df19e40b20cfd0002d0077db29d","datavalue":{"value":{"entity-type":"item","numeric-id":351971,"id":"Q351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e23d31bb50cb91874073bad45800f847ac6c2f5","datavalue":{"value":{"amount":"+0.85352874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$6382FBE8-E9DD-475C-866F-BF62AA0D0CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2881eb4c8365194ea265b22cac40a19b03f939ff","datavalue":{"value":{"entity-type":"item","numeric-id":1129121,"id":"Q1129121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3c0cfe27e2ff29f9b4bd5654f5d2ae9cfdefd0","datavalue":{"value":{"amount":"+0.8525691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079358$DAC3A0C7-B5DF-4E58-8481-4D7A7628E129","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic implementations preserve program correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_implementations_preserve_program_correctness"}}}}}