{"entities":{"Q2828314":{"pageid":2839052,"ns":120,"title":"Item:Q2828314","lastrevid":83748917,"modified":"2026-05-07T10:49:14Z","type":"item","id":"Q2828314","labels":{"en":{"language":"en","value":"Pushdown control-flow analysis for free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642988"}},"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":"Q2828314$3C3590F7-8F7D-42B3-81C4-B2EFEBDE4021","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dc6c6921f644db90c043c53196f16e08b4967a7","datavalue":{"value":{"text":"Pushdown control-flow analysis for free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828314$998E94D0-DD4E-4F8B-8E1B-11A700DBDE97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de8ef39389c9635ebede95dcee0599aa3b27d855","datavalue":{"value":"1347.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828314$D36E0647-4EAB-4F2D-93B1-45EE67697E58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8cc46e0c4d62eea1e09453ef89d6ff81afbdff8","datavalue":{"value":"10.1145/2837614.2837631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828314$4ACF60CE-8154-4FDF-9D80-C96CACEE8D76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a9d543f2f5d83a88ea69949134823bbb444048","datavalue":{"value":{"entity-type":"item","numeric-id":2828312,"id":"Q2828312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828314$E6ABDC61-62DB-445E-95C0-8E90FAD24ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1249291cb678e9bf9b99c2e3567c0540fdd2ae75","datavalue":{"value":{"entity-type":"item","numeric-id":2828313,"id":"Q2828313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828314$02A3213C-6F9C-47A9-941F-A12E91347D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0490beb4923eda40f74a45116b0da188786eec3c","datavalue":{"value":{"entity-type":"item","numeric-id":2287085,"id":"Q2287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828314$BBC5A11F-50B4-4BAD-8357-366E6BCB85DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1fb940fe4766e5f9dde191175dcce387f32975","datavalue":{"value":{"entity-type":"item","numeric-id":879359,"id":"Q879359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828314$08D76691-3ECD-40B1-A881-EE0C1075F58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828314$1C7A0ABB-E1A3-48D9-8F15-1CB983D94CA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828314$9C2F84E6-1F5A-4E81-87D8-C84DAD412029","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828314$56DFA7C8-4891-4F2A-9317-2C523795D845","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce5739d3d8d6128b93c9958983eba0c6569e6f7f","datavalue":{"value":"https://arxiv.org/abs/1507.03137","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828314$EB22C5E2-B28F-4C0C-A2E4-01EF54E418D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828314$2F19AD40-2A3D-4AD8-86D4-8D8499F74544","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7effec4f697de3538e6df03c8c30fa8952d33b12","datavalue":{"value":"6642988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828314$19E9196B-2204-4FCD-816B-FC3D2F136298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828314$50FB78AB-5528-411D-9FE7-249CE3698AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d13caaa0a74f2b53cbc4e9b57ebb52314ee417","datavalue":{"value":"control-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828314$72742D4C-3E51-4501-9596-0F2DFB86B0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfa28457759eaa134430855e8ce9df8e5bd7256","datavalue":{"value":"pushdown analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828314$E2B84A90-CDF7-48CB-B550-8A919F6A6304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828314$208FD9FA-A659-4718-8CD5-B597CA9766D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73bae1876848f7828f064d94a031ff252453a5a5","datavalue":{"value":"store-allocated continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828314$A725BBFE-0BA3-4C7A-9A42-D6683495D200","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":"Q2828314$B67BC1C1-B65E-47BC-ADDD-28B6DFA3A8F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50b1b5bda55a359811869dcf497f4ef8210546a1","datavalue":{"value":"W3101981126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828314$B85CA535-02A0-4B18-AA30-28B4915B4672","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c282ba98ab80e7e4fc7fcea28344884a41acf255","datavalue":{"value":"Q130981272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828314$1E152234-5898-47EE-B117-69A5E8C6EBD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b714135ec390cc9c7914c15781abb2370b00ac","datavalue":{"value":{"entity-type":"item","numeric-id":3558250,"id":"Q3558250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c17ad6908ddb54b90d1f59d8131986c125067f7","datavalue":{"value":{"amount":"+0.8573557138442993","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":"Q2828314$9C5FBE54-82C6-4500-8220-2A475BFA6101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39943bff7032049f1aff39d08512301b26c011f9","datavalue":{"value":{"entity-type":"item","numeric-id":3003321,"id":"Q3003321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c67ec0336cc99f1b44497a5935a5370e5feb83","datavalue":{"value":{"amount":"+0.8566736578941345","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":"Q2828314$80285879-F169-405B-A967-FE14E5421ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8f97e0e574a62b4281fdaff2ea6c6a62596a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5176964,"id":"Q5176964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9e363d14e84c9d89f53c005055be36a3e2c7f7","datavalue":{"value":{"amount":"+0.8298055529594421","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":"Q2828314$5B9D40C7-D29E-4C47-8EEF-B3AF5DCB3337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4645e54f58af1a8be614f58d150354a52b06263e","datavalue":{"value":{"entity-type":"item","numeric-id":2875231,"id":"Q2875231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d846e46411b10f5df7295df51701539eeeff0fa","datavalue":{"value":{"amount":"+0.7864099144935608","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":"Q2828314$1FFD6F9A-ADD2-45B8-AB45-EE525DC5E0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126edb94b11e50dec2bcc909e8687fb6c5f1bed5","datavalue":{"value":{"entity-type":"item","numeric-id":5370842,"id":"Q5370842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8594f873d13b9524d9bb1166ab56cf7be125b909","datavalue":{"value":{"amount":"+0.7823697328567505","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":"Q2828314$C95076D5-1105-436D-9206-72D6D86D7E32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pushdown control-flow analysis for free","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pushdown_control-flow_analysis_for_free"}}}}}