{"entities":{"Q685390":{"pageid":687239,"ns":120,"title":"Item:Q685390","lastrevid":63459780,"modified":"2026-04-11T13:18:19Z","type":"item","id":"Q685390","labels":{"en":{"language":"en","value":"A uniform treatment of order of evaluation and aggregate update"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417336"}},"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":"Q685390$DAFED7A6-1B56-46CD-82CF-D026BECAF38A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddbec8ff2399073869d44a4f2ba1b4ba1ecfa6b0","datavalue":{"value":{"text":"A uniform treatment of order of evaluation and aggregate update","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685390$EF91C42E-2D7C-47A1-90B4-81B665FC61E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bc6f25d713f916da2a2b3a3cda3049606bb7ea8","datavalue":{"value":"0779.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685390$068EFFA8-8D76-4C18-9BC9-9E0B2BB7ED7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24a4271dadc71de0e93cbe9e612e2f2d926da648","datavalue":{"value":"10.1016/0304-3975(93)90110-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685390$C4BE60A3-4CD8-48E9-BA22-09C6624AC336","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":"Q685390$D25C7AE9-4831-4012-9185-8CBA3A6AAA95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fbb6935bdb747a0dfd15900d258b226a92283f6","datavalue":{"value":{"time":"+1993-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685390$BE006CD7-9174-4A4D-9AA2-7D5AB6D6E5AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"642540d178adf180c68f09a46de1df2f4dee9e13","datavalue":{"value":"The article presents an algorithm for the destructive update optimization in first-order lazy functional languages. The main component of the method is a new static analysis of the order of evaluation of expressions which, compared to other published work, has a much lower complexity and is not restricted to pure lazy evaluation. The other component, which we call reduction to variables, is a method of detecting the variables which denote locations where the result of an expression might be stored.   Starting with the operational semantics of the language, we introduce some markers for the values in the basic domain. By appropriately choosing the set of markers \\(M\\) and the method of propagating them during evaluation, we can extract some property of the evaluation in which an expression can participate in by looking at the marker of its value. We define then an equivalent denotational semantics and derive the above analyses, in an uniform way, by abstract interpretation over a subdomain of \\(P(M_ \\perp)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q685390$0B0A0CF1-9CEE-4AF7-A693-49493B569F16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685390$16D48383-64F0-459E-B7B4-E0451D60C3AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3702af59a3af37000d480b4aa50ef41c0c8701b","datavalue":{"value":"417336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685390$C9155A48-68AB-46DD-81FE-8C3E450157BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685390$71191CAA-314F-4499-87CC-0994E64E3153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b472302ce74625b85ac981fd7ec84f56446b36de","datavalue":{"value":"destructive update","type":"string"},"datatype":"string"},"type":"statement","id":"Q685390$28B04E1A-ACF2-4A4F-9343-A32FB4043EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q685390$234D61F5-C8B1-4FA6-B7A0-FAE5AE714E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685390$415B3C9E-C124-4C4D-94E1-62303042B928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7470868ca8230d557b403dea81a6716188e425e9","datavalue":{"value":{"entity-type":"item","numeric-id":1346507,"id":"Q1346507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$39019922-A91A-45BE-9BB2-B51EB3121BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37a601447a350ffe95663b9020e14b71050a058","datavalue":{"value":{"entity-type":"item","numeric-id":1775605,"id":"Q1775605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$55D00D1B-7803-41F9-AE58-F477CA8E752C","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":"Q685390$C179706F-197D-4004-9CAA-21164960A4BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4baa5b6e4e598d1dfab70673449479c631b00065","datavalue":{"value":{"entity-type":"item","numeric-id":3787437,"id":"Q3787437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$588AFB53-90CB-4DF9-B24D-03AF75153F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$A8BB029E-289F-4E61-9006-7C0CB11E42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$BAA15ACC-4FA5-4B11-AF53-2FF4D94FA1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$9119E6F5-522C-4BDD-9268-C777329213C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1770d59eb8c2c3130f85fe8dad07b4859b077df1","datavalue":{"value":{"entity-type":"item","numeric-id":3675504,"id":"Q3675504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$0C2CFD69-D62E-42DB-B394-0FF61C1B3FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f11cf2480b5c2e3ccd290b78bfc8d025659455","datavalue":{"value":{"entity-type":"item","numeric-id":1112581,"id":"Q1112581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$5AC7E6F6-B6F6-4624-91D1-20941878D4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685390$9F74C0D3-A5F1-4B54-9351-EE248C1CA1B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc2af95079aa4bf89c84d160b881627da738ef8b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90110-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q685390$C6B946EF-3390-4A57-A599-5B96259D4A7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d936f4920d063691e0a3d673a9d3469b9f972807","datavalue":{"value":"W2053513491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685390$F111926C-AB7D-481B-B2A8-2492DBFC91DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70d2f07f819779d0280a98586c6ef07a5fa50d1","datavalue":{"value":{"entity-type":"item","numeric-id":3600464,"id":"Q3600464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c35cc41fc53d355aeb4eb5080a00bb1e700e5e3","datavalue":{"value":{"amount":"+0.7426139712333679","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":"Q685390$F6B6F2E7-9D33-4934-8328-C68E5ABFA172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc90dd936d6a6cdf72d9e8d833823e23dee73623","datavalue":{"value":{"entity-type":"item","numeric-id":4376961,"id":"Q4376961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854930393773836020fadc64935561aa0de82927","datavalue":{"value":{"amount":"+0.740401029586792","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":"Q685390$8CEDF054-8FCF-4BF6-A159-3234B4671F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17a86bcac87494e5bc45d2b84fff6d24ffe3cfa","datavalue":{"value":{"entity-type":"item","numeric-id":4808804,"id":"Q4808804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3057c6e7bdc5cf76ddf1c1d5279cb226dcd69f18","datavalue":{"value":{"amount":"+0.7303101420402527","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":"Q685390$B6CBED01-5D27-45E1-A6A9-7CFAC6D4076B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c31b0be66ff1a5086ff221f395c5f8e127ea2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5348886,"id":"Q5348886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a5ab31e7fd8a4c1500ee3f67575a746e6033a2","datavalue":{"value":{"amount":"+0.7203529477119446","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":"Q685390$C9F15D73-5ECB-45E7-A3EE-3732E3E07D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8218e074bf9eb84564677f4f0427e569c074469","datavalue":{"value":{"entity-type":"item","numeric-id":5234257,"id":"Q5234257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f3eea083dbbcd9655282fdb12a33734c41c04a","datavalue":{"value":{"amount":"+0.7203527092933655","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":"Q685390$FEC792DC-696F-4990-BCC0-1432C7F30A9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A uniform treatment of order of evaluation and aggregate update","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_uniform_treatment_of_order_of_evaluation_and_aggregate_update"}}}}}