{"entities":{"Q582879":{"pageid":584646,"ns":120,"title":"Item:Q582879","lastrevid":49344541,"modified":"2026-01-07T00:13:23Z","type":"item","id":"Q582879","labels":{"en":{"language":"en","value":"Efficient memo-table management strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4131634"}},"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":"Q582879$66C8714D-3829-4BA6-8EC7-4A4A44B279B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e36e24677849a2a7a404e13acac594516e6ad700","datavalue":{"value":{"text":"Efficient memo-table management strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582879$CB8D773D-0194-41CA-951A-8D0C63E746A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"730d508d8c48de0bdc558277e914cf0ad7953093","datavalue":{"value":"0691.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582879$520A4607-EE7C-4E92-BA31-7E6B39E7C972","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9816c6db523a08fb302c8badf050b7d8b30847f2","datavalue":{"value":"10.1007/BF02983374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582879$97F9D4CA-35E5-4FDA-8E5D-87483027D34F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11fbc42ea69fdafcf7ce59f299efef6245806eb","datavalue":{"value":{"entity-type":"item","numeric-id":582878,"id":"Q582878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$945E0BF2-BA9C-4086-8EB8-21704C361BF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$B5B53381-5F93-4ED6-8A94-76D07A4C0FD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q582879$FA897D65-85EB-4E0B-A14A-F09D064B8D0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6aa25d0842355263b5c73f4b6f55adb6822ee07c","datavalue":{"value":"A large, automatically detectable class of nonlinear functions is defined and their evaluation graphs are characterized. These results are then used to develop space-efficient implementation of memo-functions. We generate a variant of memo-functions which can be used to linearize the time cost of calls of a nonlinear function to itself whilst executing in bounded space. These memo-functions dynamically garbage collect (or reuse) memo-table entries when it is known that such entries will not be useful again. For each nonlinear function a function called the ''table- manager'' function is synthesized by a static analysis of the definition of the nonlinear function. The table-managers delete (or reuse) entries that are guaranteed to be obsolete as a result of any insertion into the memo-tables. In this way they ensure that the size of the tables is minimized. Furthermore, the sizes of the tables for these memo-functions are guaranteed not to exceed a compile-time constant found by the same static analysis which synthesizes the table-managers.    The applicability of the method also includes many problems which have been previously solved by applying dynamic programming techniques. An implementation of these memo-functions for the functional language HOPE is also outlined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582879$B2C4F385-C6D0-4436-8702-52FB6612C6A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582879$C26721A3-080A-41EC-A553-E6AC19F270AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582879$B0DF7D45-0866-447F-8DBE-DAC83E0D4A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582879$7E86F626-8F89-4D88-BD5A-A8F19EC07369","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"053f526d164a2c9c299531cf0cda62ef8c773038","datavalue":{"value":"4131634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582879$0EFAE518-D79E-49E1-847D-C8161BD9039E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71671ca4252aa2a189c977d66ef04ba050413095","datavalue":{"value":"memo-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q582879$2F6E4F34-8D1C-4A3F-B644-BC989B94E5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7f35fe7fd5e5e18feb9f4ef1515c1978d42596","datavalue":{"value":"memo-table","type":"string"},"datatype":"string"},"type":"statement","id":"Q582879$05322540-1E87-4412-89EA-2F7D4FF3D1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q582879$44375175-9D22-4F95-9943-6217730B13B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da28c45bfcf9ace6bb205a7963a0fe17b831e8f","datavalue":{"value":"functional language HOPE","type":"string"},"datatype":"string"},"type":"statement","id":"Q582879$E9D38768-FE28-4839-8E0B-F10E5A938EB2","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":"Q582879$F276E18C-397B-45FA-8E71-0CFE8B02C414","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$10DE1FDC-7034-42F9-B2E8-B86E49A35534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$DFBEB531-C28E-4338-AB6E-841F0AE4BAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676423907243c701fde88c902e96ea3355d62edd","datavalue":{"value":{"entity-type":"item","numeric-id":3929003,"id":"Q3929003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$7D83C23A-2F12-4C4C-8564-4A003E09C4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4012a89f1a658242424bdf3943494dfbd4ac48a","datavalue":{"value":{"entity-type":"item","numeric-id":4134911,"id":"Q4134911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$E8503CFF-EDC1-43D3-9D36-26C37158E136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b473f78d5f73a668f3283cc9b347a4a7e4dc1e0","datavalue":{"value":{"entity-type":"item","numeric-id":3919065,"id":"Q3919065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$0A3B5D6B-B5CD-461F-A85B-81F8BC8094D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f54373e21c3a90bb8e584f9473d863305fb278","datavalue":{"value":{"entity-type":"item","numeric-id":1067769,"id":"Q1067769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$6C698A5A-2308-4CF1-86B6-9E582A6B372F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$AAD8B13C-69E4-49B9-A616-F490D51C8B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd5865a7797cd1dbdcd00e31ed475893f29a8de","datavalue":{"value":{"entity-type":"item","numeric-id":3040478,"id":"Q3040478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$BE006662-9A7E-4FF1-95BC-AF0C95DB2031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a8530cc8341477c91a6a458d8bc3eaffcd6c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1251072,"id":"Q1251072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$C732CAE7-8C6F-42C9-8012-472EAF8C1456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9bb51b99d141ad44282a05cad656f6d90fe4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1224418,"id":"Q1224418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$18968AA2-FDFB-47AA-990C-4F0A80DA12E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faafb598fda1606e25f44dda2a82bc799640a14","datavalue":{"value":{"entity-type":"item","numeric-id":1102731,"id":"Q1102731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$6B25678F-51F1-4424-B30B-7A23E4692AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf2531806b64e41e20e35997c14a348e053ffba","datavalue":{"value":{"entity-type":"item","numeric-id":4082991,"id":"Q4082991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$B041C1BA-3E15-4D62-B44B-F9A592953C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d466c6721e41b33cadd37777cf46dbe91c000679","datavalue":{"value":{"entity-type":"item","numeric-id":1233310,"id":"Q1233310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$783A9F78-7730-4060-85CA-6DFB42EE4EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e16d1dc4052e71d6b4ce452bdd1e1e49e7dff8b","datavalue":{"value":{"entity-type":"item","numeric-id":4144192,"id":"Q4144192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$7F631F9E-77DB-4212-B136-D0DB90DF7584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5827b33f6040e2365ba104b2c460c40532349bb","datavalue":{"value":{"entity-type":"item","numeric-id":3311639,"id":"Q3311639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$157E1BA7-7825-4661-A8CD-DBE3FAB09873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8cab609ab05eee7c184b51e47db2f36936ac6c1","datavalue":{"value":{"entity-type":"item","numeric-id":4168045,"id":"Q4168045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$0F0B2A2C-BDDD-419C-AC3B-4449FF0E57C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fdd9e6befef85f49cdf7cebfeea3185f56dd4e7","datavalue":{"value":{"entity-type":"item","numeric-id":5657656,"id":"Q5657656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$3EE6218B-7CF1-4F91-9DB4-BA3AAB0EA84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e715bb16b4056d3301fb9294f0849bf1289f38","datavalue":{"value":{"entity-type":"item","numeric-id":3954800,"id":"Q3954800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582879$51A56FDA-BF2D-459D-8094-19FC0919463B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b81465b63ccda33e7d15dd5633044a23d5ca886","datavalue":{"value":{"entity-type":"item","numeric-id":4711452,"id":"Q4711452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165d8bd669635e536287944c3d99e29182a1cb10","datavalue":{"value":{"amount":"+0.8330616354942322","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":"Q582879$F0D71A06-88DE-4690-9F68-758B1A967319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170ba2001024c1344d82bd1244060a699b808b7d","datavalue":{"value":{"entity-type":"item","numeric-id":3723677,"id":"Q3723677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782fec3092abb3ae8a383636c053ef483bcdb419","datavalue":{"value":{"amount":"+0.832756519317627","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":"Q582879$95FFA1CD-8D1F-4328-A1BF-63A97C02E4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420aca7cf2be3d53678c5d760369ab1760342dca","datavalue":{"value":{"entity-type":"item","numeric-id":1791205,"id":"Q1791205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e86d66444b55f826875d58d3475abb6badc9164","datavalue":{"value":{"amount":"+0.7620865702629089","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":"Q582879$083B85AE-7976-423D-8D36-DC38FF71EFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f4460181217f18879d4549a71c72e88e31e4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1126263,"id":"Q1126263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a1382e592d7a58d0766fb44e10976135b1d066","datavalue":{"value":{"amount":"+0.7520576119422913","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":"Q582879$626A6572-7554-4780-AD6F-93FAA60F19C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7fa9de17a993f47a1633e52fc3c2361223d42","datavalue":{"value":{"entity-type":"item","numeric-id":2954984,"id":"Q2954984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb09d024fa214ff4365c138f777eb612cb902079","datavalue":{"value":{"amount":"+0.7405828833580017","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":"Q582879$A10A2CBA-E82A-4B1A-8D31-9D779A1215B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:582879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:582879"}}}}}