{"entities":{"Q759479":{"pageid":761328,"ns":120,"title":"Item:Q759479","lastrevid":64121190,"modified":"2026-04-11T17:46:57Z","type":"item","id":"Q759479","labels":{"en":{"language":"en","value":"Compatibility of parameter passing and implementation of parameterized data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3881864"}},"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":"Q759479$4F05C52A-1072-4D1F-BCFC-E3BFDA350AF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a859de8c2885febd9266698556d217d5eb217b33","datavalue":{"value":{"text":"Compatibility of parameter passing and implementation of parameterized data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759479$1D4D8A81-5756-4C29-9336-E628B49B82DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fd66a601cb1bec8929cd170282e72d597d3298c","datavalue":{"value":"0553.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759479$41BBB0C8-0A67-403B-9487-0B5E1E6110B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69fddd5d59a0c5d31ab22a1655bc6d5786ed97ec","datavalue":{"value":"10.1016/0304-3975(82)90121-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759479$1E803CCA-3F59-498E-9723-5912622BE47D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$84ADEAB4-E4A4-45A4-8594-161237385DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d8a0330754342bf7cc054288ff91311aeb00bc","datavalue":{"value":{"entity-type":"item","numeric-id":1056223,"id":"Q1056223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$B70AD6CE-D607-4606-B755-DFE0D487F009","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":"Q759479$E8F2FC84-EB1B-4D9A-A6EA-DA112B02E8B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q759479$EA6FA5FE-5AE7-4E9A-862A-0626AA0C17F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac29b92c433bd7d4ea4365ba8fbf5cbc64977a58","datavalue":{"value":"The basis for this paper are the concepts of parameterization and implementation of abstract data types which have been developed in the theory of algebraic specifications with initial algebra semantics. In this paper we combine both concepts defining implementations of parameterized data types and studying the compatibility of parameter passing and implementation of parameterized data types. In our main result we show that parameter passing commutes with implementation. This is an important step in order to apply the theory of algebraic specifications to development and stepwise refinement of software systems. We illustrate our notion and results by a small example implementing binary trees over arbitrary data by corresponding strings with brackets. Finally we consider the problem of 2-dimensional compatibility of parameter passing and implementation and discuss the kind of compatibility results which have been shown by other authors in the case of loose and final algebra semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759479$C5D15192-6365-4610-A80B-6B221E090D07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759479$7D88A85C-832F-4500-8674-347D9EAFDF99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aedb4229938dd77392301ab318232ab991ba000d","datavalue":{"value":"3881864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759479$66319D7B-9770-4DCE-BBDC-71D285371D1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4c226b9f3f61a30a7c90113ab41b47e074388f","datavalue":{"value":"parameterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q759479$6FE444C1-A71C-4C40-AC9B-46A009A71A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q759479$4099688E-1828-4098-8D53-DC3600E6C44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q759479$9CDE8221-5402-48FF-BFA8-B9BC3AB81DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q759479$5698B12F-E61E-407D-AC22-F10830081A5A","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":"Q759479$F0CF11FF-3C48-44B4-8D9B-39D8F0E445A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d269c43a05f981dd85c997d33c0d99cc700ff18","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90121-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q759479$7168E61F-1E58-4494-B6F5-160CCD9BC17D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9440921a32b5f9e039211339c7e2201aa0e0bb3f","datavalue":{"value":"W2058098777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759479$4BF38FF7-B46E-4483-AB70-46355F294C6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$D3068609-0CC8-4E00-AD79-55DF0330ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e182eb40d684fddf2159734e8fbee75a0fe49dc","datavalue":{"value":{"entity-type":"item","numeric-id":3906461,"id":"Q3906461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$E308FF99-BFD4-4B7E-960A-BEED08B38D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94ed1966146509e4c807f693ee51c1a63a3a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3667933,"id":"Q3667933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$5A9766D2-54FF-4911-BB76-864903554879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c31f2149a24128f0c1f2fac135e29b89346dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4190110,"id":"Q4190110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$B4593A77-D5B8-4CF3-9BC4-3B84D78CC582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$49D3520E-A091-4F67-990C-0B926EE70D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$49330DAC-468C-42BC-B47A-DE087DE6260F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349532c118a3f683d6a4558f520406ba42210f52","datavalue":{"value":{"entity-type":"item","numeric-id":3917480,"id":"Q3917480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$3D5B6ABA-2E62-4B26-87AD-8B830D562177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8db7b39a45ee21282ff173231082cf0ae04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":3938469,"id":"Q3938469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$6CD84114-2E0E-4D6C-BF0B-18B7EF09F2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e149bd4cad7f9bd977529484d6051301ccc9b","datavalue":{"value":{"entity-type":"item","numeric-id":759479,"id":"Q759479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$1826127A-9AA9-43EA-A16E-75B28BFB8F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7271a43a9b61da56e09afc244aa4046805d7f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4160385,"id":"Q4160385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$6720FA15-03CA-4F14-B86C-84A43A7BEA99","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":"Q759479$4950ED3D-2B79-4612-95B5-05390C35CC67","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":"Q759479$6B5FA721-A1B1-4E70-976C-D1EE71DF269C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3acff585fb7fffd2f8acd7066ad4ee9f4256d4","datavalue":{"value":{"entity-type":"item","numeric-id":4170201,"id":"Q4170201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$BD80729D-FF39-4B00-837D-089C1B8FEBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee8c11f72a35f457aa93f018c54433a3f793b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3906373,"id":"Q3906373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$B586A31E-CFF4-41C5-BD91-9E6740AB34A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c017de94be929303e103db5a7762532c2f6325d","datavalue":{"value":{"entity-type":"item","numeric-id":4749185,"id":"Q4749185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$910EB3CF-6E50-4ABC-A209-BB996008D273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3813ab614a97a156330c623ed2e7bf909d45fa","datavalue":{"value":{"entity-type":"item","numeric-id":4105777,"id":"Q4105777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$511F19F7-2747-4A5F-96A4-23BFAB3B650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$0B70DEDD-4F9F-4C0F-AB38-F482315AD01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$95EF8E00-3786-46B3-A07F-5BCFFE308D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1c889623c4585b967fe1ca1e66074c17ac30e0","datavalue":{"value":{"entity-type":"item","numeric-id":3965556,"id":"Q3965556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$EDC476F7-9521-4822-B188-2F8A066DED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c453694afbb2a29f9bb63157923aeeb492b3d74","datavalue":{"value":{"entity-type":"item","numeric-id":3668830,"id":"Q3668830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$13615DAF-62A3-4644-BCAC-B57BDD1C7EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$A79C5D05-89A2-4340-9DE5-D126B8DAB496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1383e5ac677d7114e8bb8a38761cf667f5991","datavalue":{"value":{"entity-type":"item","numeric-id":3923580,"id":"Q3923580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$7C3397A2-E9DE-4DBE-8747-6E2837FA894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e16f53aacdc2272655a20338ee20ff055417e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3954805,"id":"Q3954805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$93249332-75F8-41A3-8CBE-F3EA39A394A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759479$194ECF74-F63B-4288-9D8C-9F8DD8FE1BCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3e7255ae6be4460c3b14d67fd07aac34fdb58d","datavalue":{"value":{"entity-type":"item","numeric-id":3741027,"id":"Q3741027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c018971ef7f1a1d9211f16816a3e2b89f09c1e76","datavalue":{"value":{"amount":"+0.830748975276947","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":"Q759479$9B1EE2ED-14D6-4FA4-BFCA-3CE977793EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb540f95069c4836f907cbbbffd90b3c6d49ba1","datavalue":{"value":{"entity-type":"item","numeric-id":3707390,"id":"Q3707390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3171ac820e6160ca7be1a79c9d1679a66e977132","datavalue":{"value":{"amount":"+0.8146980404853821","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":"Q759479$5FF43B20-E366-41FF-93AD-15EF863527F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48437decaee340a9ae06cd475a69ceb38306f89","datavalue":{"value":{"entity-type":"item","numeric-id":3785902,"id":"Q3785902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2839cf0034eb2bf318183380fa70e90d9ab614e","datavalue":{"value":{"amount":"+0.7964929938316345","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":"Q759479$7CE94946-98C5-4D23-9EC0-DC737067C0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27e3f33ac5d54cec71666521c61ee0bdfc637d7","datavalue":{"value":{"entity-type":"item","numeric-id":3988859,"id":"Q3988859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d27f5700a74490305619e40be37c3e79117f41","datavalue":{"value":{"amount":"+0.7908936738967896","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":"Q759479$5F4DB00A-094C-4F52-9A44-61B482631E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee91f79eebec45235ee1e2941a232135558cc63b","datavalue":{"value":{"entity-type":"item","numeric-id":1090101,"id":"Q1090101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3115e444c76320494b4b52938ae3631f63b69b2","datavalue":{"value":{"amount":"+0.7828215956687927","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":"Q759479$447F8CF4-A268-49C6-81C9-D1CC6C63AF6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compatibility of parameter passing and implementation of parameterized data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compatibility_of_parameter_passing_and_implementation_of_parameterized_data_types"}}}}}