{"entities":{"Q1892705":{"pageid":1903447,"ns":120,"title":"Item:Q1892705","lastrevid":46390551,"modified":"2025-12-24T16:53:03Z","type":"item","id":"Q1892705","labels":{"en":{"language":"en","value":"A transformation method for dynamic-sized tabulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 766454"}},"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":"Q1892705$1E7FC4D2-108E-4E25-AB7A-A99969E88950","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5f71546549cfb80d5cedd53c80205e7418874ff","datavalue":{"value":{"text":"A transformation method for dynamic-sized tabulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892705$BA335DA7-B4D9-4133-9372-7115C794F2F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdcbf9713aad29340833abac6b72e5afc0192029","datavalue":{"value":"0824.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892705$17CE7739-449A-403E-9AAB-F664BF62A5A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b66a408d8e471ed9adbbef1509879011f9defcea","datavalue":{"value":"10.1007/BF01177742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892705$92102ED1-351A-4B41-8FF2-D76BE353A872","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$5D0356A6-16A4-4DFD-83BD-A5B04F105D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$1563F829-8BEE-468F-970A-B8754D64829A","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":"Q1892705$7B4E1AC4-5A2D-48A3-9AD1-608428905113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82b3475376697157ba1269e553c7169e91d73e4b","datavalue":{"value":{"time":"+1995-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892705$137B0D7C-604B-47DE-ACFC-4E9E6CEE1A9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65119bf84572f9795618e930af793069c17753b1","datavalue":{"value":"Tupling is a transformation tactic to obtain new functions, without redundant calls and/or multiple traversals of common inputs. It achieves this feat by allowing each set (tuple) of functions calls to be computed recursively from its previous set. In previous works by Chin and Khoo a safe (terminating) fold/unfold transformation algorithm was developed for some classes of functions which are guaranteed to be successfully tupled. However, these classes of functions currently use static-sized tables for eliminating the redundant calls. As shown by Richard Bird in [3], there are also other classes of programs whose redundant calls could only be eliminated by using dynamic-sized tabulation. This paper proposes a new solution to dynamic-sized tabulation by an extension to the tupling tactic. Our extension uses lambda abstractions which can be viewed as either dynamic-sized tables or applications of the higher-order generalization technique to facilitate tupling. Significant speedups could be obtained after the transformed programs were vectorised, as confirmed by experiment.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892705$00BB2B11-FD11-44F1-9DB6-EC6043A80896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892705$EEF84E4B-C4F2-4161-A27C-B43FCD778C20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"462d0faee38c499ef6d4bc616354fabd3506ad7a","datavalue":{"value":"766454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892705$24F239BD-4F51-4919-9C46-F690A0E86E25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67bd9db08233944c67c95de5d1b6b61124b8842","datavalue":{"value":"tupling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892705$376FA4E7-E5DD-468A-B5F5-1D1A977BED2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a9afb1592a10c4660e44ccb18592180aae51d2","datavalue":{"value":"dynamic-sized tabulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892705$F97197C9-573A-471E-B153-808C27F157BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38c8eebf5c8656beac2a0508b01604052c8779cd","datavalue":{"value":"lambda abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892705$D6E82A34-9AF0-4B55-890A-AEF13D4A5F88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$BA6A7FAA-4515-437D-9B51-C9FEC67BC9E7","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":"Q1892705$B7FEFF13-F6B1-4953-8BAA-7F365AA69BC9","rank":"normal"}],"P223":[{"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":"Q1892705$7D6A3024-FE29-401C-9C4D-97A2048ABBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e18ecbe21d670afb3c1d8c60216fc40095fe004c","datavalue":{"value":{"entity-type":"item","numeric-id":800713,"id":"Q800713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$AB30239C-CD64-4689-AC0D-D12981199F8A","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":"Q1892705$215C184A-8ED9-47B2-A4BB-92147A8731D1","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":"Q1892705$2CC015C2-2D7F-4497-8349-172E45ED683C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5dbf7c1cc2106e7648baed15edd3bb3c3e41c2","datavalue":{"value":{"entity-type":"item","numeric-id":5560677,"id":"Q5560677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$1A436072-2B3E-4ACB-88A0-B25D480B8BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c0b2c60623687edbf6aa56fd4524282ac03f28","datavalue":{"value":{"entity-type":"item","numeric-id":3776600,"id":"Q3776600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$32890F98-08C5-4B5C-97E9-8B13B8B09641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1035a898e6ebe4f7977441690f67c4140c910f","datavalue":{"value":{"entity-type":"item","numeric-id":4721630,"id":"Q4721630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$9C581D53-A468-46E8-AE3C-7570C7DC673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f68e6f723ac70c9a6f742fc6f09d4ba80b0b64b","datavalue":{"value":{"entity-type":"item","numeric-id":1085965,"id":"Q1085965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892705$5DF834C8-5261-4CB7-B01C-9A519A973E80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f15471e0bde7a4a55b997d078885127194c0fa4f","datavalue":{"value":"https://doi.org/10.1007/bf01177742","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892705$8233E2F2-2BC5-4547-8389-D886BEFBE093","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f0b4d01f2a5343a1d620f9a0c32a616f3f40cb8","datavalue":{"value":"W4242121630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892705$8F00D077-D74E-486F-9270-52CC71D43ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be043851ccc2dfc6876fca68e81d0aa353f21ad5","datavalue":{"value":{"entity-type":"item","numeric-id":5348873,"id":"Q5348873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a31ac06fd403f673ea93cca93dab1b3c34d97f","datavalue":{"value":{"amount":"+0.8314668536186218","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":"Q1892705$584F74CF-B5C7-4480-A63E-0DA2C2AF4522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce8b1e6ff95f323f547f3703cdee26a96b51e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3347260,"id":"Q3347260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc2b17f26e0089bf019833529346948a6a9d892","datavalue":{"value":{"amount":"+0.7797034382820129","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":"Q1892705$3CEC121B-EB51-4C60-88D0-BE8875BDF74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c257ecc7c7c73e22a2f1ec80fa4501abe2f2d8","datavalue":{"value":{"entity-type":"item","numeric-id":5472907,"id":"Q5472907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142fb2ee219f58c9fdc5b48ce5cfed05614214d7","datavalue":{"value":{"amount":"+0.7762596607208252","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":"Q1892705$7FF31B7D-8B00-4CC7-AB60-7872B748FF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ffb942f91cf36ce666a67e2ac72c9fe09c33b60","datavalue":{"value":{"entity-type":"item","numeric-id":5348874,"id":"Q5348874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324b61895037e7e836016596972f9da812e630aa","datavalue":{"value":{"amount":"+0.7548914551734924","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":"Q1892705$58C32C30-CFAB-4303-80B8-F18B524C8BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9baa9a81e64834ae1968498f66cbd0c8edf326","datavalue":{"value":{"entity-type":"item","numeric-id":3521982,"id":"Q3521982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3339fbfbe687ac75f2e50afea2e5ddb4992466dd","datavalue":{"value":{"amount":"+0.738776683807373","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":"Q1892705$5A4D3D6A-14A6-4828-876D-496C195B8D94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1892705","badges":[]}}}}}