{"entities":{"Q799117":{"pageid":800965,"ns":120,"title":"Item:Q799117","lastrevid":64458645,"modified":"2026-04-11T20:00:37Z","type":"item","id":"Q799117","labels":{"en":{"language":"en","value":"A region analysis algorithm for the live variables problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3872699"}},"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":"Q799117$B3B30E99-0BC1-4358-B030-196B97D0F1FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc552fafd5c38a456bb2f8dccc04d9ec59cc01e0","datavalue":{"value":{"text":"A region analysis algorithm for the live variables problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799117$B2A0D345-40FD-485F-AC3C-5540D6F53B61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c5774e2a79f7a9d8f5ad2038c39d2f62c315cfb","datavalue":{"value":"0547.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799117$5F01431C-6693-49F1-94D8-86DC2183DEE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6612ba609208d88d6fa25f1c45b362e06a9b8bc","datavalue":{"value":"10.1007/BF02242267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799117$F3926DA0-22EA-45F9-8F2A-FD5F6BF9B01A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$5E234806-8230-4479-A028-E0C0E37A442F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q799117$98CF2179-8112-4DB2-8AD2-880A5F3E923D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cfdfc85c386c5bd02e69d058989270e5292b8dee","datavalue":{"value":"An algorithm to solve the ''live variables'' problem on reducible flow graphs is presented. It is based on the concept of a region of a flow graph. The algorithm is compared for time complexity with the well-known round-robin version of the iterative algorithm on ''self-replicating'' families of reducible flow graphs. The results of comparison are inconclusive in that the region analysis algorithm requires fewer bit- vector operations on some graphs and more on others.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$791A332C-235C-4AAF-B3B0-B364DA76B6DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799117$A1734F2F-68B8-4046-AD69-6D05F9E17BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799117$6EB02997-DA2F-4943-9E70-743E7E72B0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799117$7A14060E-7DB2-4882-96B1-3D56559424FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4507a49fd4eb29bb0188f68f41bbfe7babfb10f","datavalue":{"value":"3872699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799117$E6F383B3-C9C9-4C61-9439-CCC0F556714B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ee9b99d15bca86ca3f487dbe06fc7ac1e566db","datavalue":{"value":"global program optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$3491414A-D7B7-4D98-9E7E-A3D2BBB77110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$37CB9EB2-EAE6-4803-AC3B-1E5F71D2B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$7E9EB0DA-FF01-4EFE-9958-9FC0523B7059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"132b767d8a6b11152fa75ec867dfec3ee211efa5","datavalue":{"value":"live variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$AD1A9A39-350C-40E6-A5DB-B65EC95008D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ebdb249266aa6259b4e98f4b9dde5e9979ebf8","datavalue":{"value":"reducible flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$F7977466-A4CD-4E69-AEBD-A6147833D28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$2D3DD67C-A5A9-4B8C-B015-4563F520FB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ced3a3ee90ec3d96aa5199fb7e4f0126ec1e6f","datavalue":{"value":"region analysis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q799117$DABE77CF-9935-4AEA-A97C-A5A33C90D3A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef412ee18371f1ef36d645ba55c8f0b3480b153","datavalue":{"value":{"entity-type":"item","numeric-id":1199951,"id":"Q1199951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$3C324A83-5B64-4C5E-85D3-4A23C74F7B0C","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":"Q799117$A0D0C409-BAF3-4F01-BFCA-C0525DC11AF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63b2a711efc064ad4439829471749b3bcf75e64","datavalue":{"value":{"entity-type":"item","numeric-id":4068115,"id":"Q4068115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$3EADC7BA-6995-431B-9BB6-10E500FADFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87551398f3cc3b9a2bfa3417588b93e9e4efd4d6","datavalue":{"value":{"entity-type":"item","numeric-id":1236887,"id":"Q1236887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$E5DD6623-704B-476C-B490-6FD2BC3B3CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5615be6a0ca317deca788c5928065f9f47566a","datavalue":{"value":{"entity-type":"item","numeric-id":4079026,"id":"Q4079026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$6623E07F-C791-4179-87D8-155DC0078835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee4b3dff32df37da8a420ca50710cdb5fb22f6","datavalue":{"value":{"entity-type":"item","numeric-id":5657644,"id":"Q5657644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$125F504A-8DAA-4D56-9B15-B79A1F00B08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44475288392e1261e5ccf2896bba0a8666d4d9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4091443,"id":"Q4091443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$A915D11A-E8DD-4E3F-A2E4-B2CC280B7389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$7282F7EE-A6DD-423B-AAA0-0A352D2FFBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93484e8ec220b261cb764722c283ac67e15d023","datavalue":{"value":{"entity-type":"item","numeric-id":4060384,"id":"Q4060384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$41647429-A55F-40FC-9FD1-9834C220BC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e8247f7247e2684acec63a9be27fa944d32094","datavalue":{"value":{"entity-type":"item","numeric-id":4095866,"id":"Q4095866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$BD707357-C23C-4A15-B4C4-C35EEEB8A9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$88B0B491-65CF-4770-828D-A67BB46E8D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eb300841d0e0b571606f3eb7a1f32b7e99531b","datavalue":{"value":{"entity-type":"item","numeric-id":4076758,"id":"Q4076758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$62DAAC12-F51E-423D-A4F0-DA77FFC8E77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48ffb4bfbe43cd7d03629185b58fac4ec378413","datavalue":{"value":{"entity-type":"item","numeric-id":5681518,"id":"Q5681518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$3585065A-1A2F-4F59-BFCD-FC5659326C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e5614676da65d3785e5ab95bbf9e544d539b72","datavalue":{"value":{"entity-type":"item","numeric-id":4105782,"id":"Q4105782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$BBEF3BE6-7E9F-44C9-9550-46F13EF732D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba5422773cb098ee13546a173e268512676aa41","datavalue":{"value":{"entity-type":"item","numeric-id":4167535,"id":"Q4167535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$DF7544E2-571B-4BC2-8E3C-A3F3EBB31802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$F72302F6-DEF6-4B2B-B1A4-9FB17E42E067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ea8d997bd8591571459870bfd2178d6158ba04","datavalue":{"value":{"entity-type":"item","numeric-id":4181285,"id":"Q4181285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$57678546-ED9D-49BE-BC69-E46E12968D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54dd0eb00fb60da0966e0f30f6b5ef45d42074b","datavalue":{"value":{"entity-type":"item","numeric-id":4125700,"id":"Q4125700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$B3FAB9FF-87EC-43FB-A310-3CCA95FE99C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d42877972cd851c0575110e288975ecfe9d3791","datavalue":{"value":{"entity-type":"item","numeric-id":1846330,"id":"Q1846330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799117$1AC07914-C0B3-4324-B9EE-E472C80BCE0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99489199609c92a118d21ff9e22678e27e0ae537","datavalue":{"value":"https://doi.org/10.1007/bf02242267","type":"string"},"datatype":"url"},"type":"statement","id":"Q799117$5911E262-10BA-4882-B8DE-912AF5312303","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12d295ce570ec6d48ab2437f5e3b87e6f38efcfa","datavalue":{"value":"W35964572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799117$550A5C4B-B6AC-4373-8A67-1BBC1C2B1332","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b54dadadf2f9e64cd81665335f26f6257c17474","datavalue":{"value":{"entity-type":"item","numeric-id":3219097,"id":"Q3219097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbe4ee2016d87019ca56dc273ab3f72bb1aa6be","datavalue":{"value":{"amount":"+0.8296798467636108","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":"Q799117$5E4D3F52-6F42-4639-8329-04B0B02786A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d388e9a13c7890b311fdc616b43db45356b01bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336688,"id":"Q3336688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"900ae9a2b8fcebdb341e12b303d670bd4b2899a5","datavalue":{"value":{"amount":"+0.8070221543312073","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":"Q799117$C42BA191-808C-4218-A176-86B4B614B6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dc67f13c448c70525a0660b63915822bb61665","datavalue":{"value":{"entity-type":"item","numeric-id":4091443,"id":"Q4091443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1407d5df2f3e75ad12864c777bbd9183d9c46e45","datavalue":{"value":{"amount":"+0.7590875029563904","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":"Q799117$425C424A-2805-47F5-81E8-C5A02B14E721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319f39eb61fb44abba4937c923332b179e5f72a4","datavalue":{"value":{"entity-type":"item","numeric-id":1088400,"id":"Q1088400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee3378163dbbb211935ccaa159829dfc2b866cd","datavalue":{"value":{"amount":"+0.7120572924613953","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":"Q799117$65A97577-7850-47FB-BD77-6C836D766FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ffb267ce3cbdb3990abc18be16569e73936cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5902359,"id":"Q5902359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802c1375836f63d7ae3e2a1956fe82068403a33c","datavalue":{"value":{"amount":"+0.7077826857566833","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":"Q799117$1BC2752F-579B-4B2B-B6CE-AA0CBB25B787","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A region analysis algorithm for the live variables problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_region_analysis_algorithm_for_the_live_variables_problem"}}}}}