{"entities":{"Q1820575":{"pageid":1831317,"ns":120,"title":"Item:Q1820575","lastrevid":77968286,"modified":"2026-05-06T10:28:32Z","type":"item","id":"Q1820575","labels":{"en":{"language":"en","value":"A formal development of an efficient supercombination compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997135"}},"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":"Q1820575$82728B5E-2D66-47C8-8C0B-2FC41D39AB44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14c69d1feb08bb2254c7fba8828953aa6c547a53","datavalue":{"value":{"text":"A formal development of an efficient supercombination compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820575$D8B6F423-BE85-45D2-B431-62125F857879","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16cd73ee5c85bb5b1ac40f3bbce95ff48d27556e","datavalue":{"value":"0615.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820575$80587BC9-DA2F-4A02-AEAD-D74F103F2F9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55830209b3000d4c08fd084fef840db220537f25","datavalue":{"value":"10.1016/0167-6423(87)90017-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820575$F9F5BE6A-0591-48C2-A439-B3ADDA19339B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820575$3E3DC878-D60E-4204-B172-628108C009FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1820575$FA408BAB-A67E-4A3B-ABFE-B0EB053BE009","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c5b7590677b419fbfb8e4bfd9ca67de72e22822","datavalue":{"value":"This paper presents a formal development, employing techniques of transformational programming, of a non-trivial algorithm in the field of functional language implementation. The problem deals with the translation of lambda calculus expressions into combinator form, using Hughes-style supercombinators rather than the fixed repertoire of combinators proposed by Turner. The final algorithm is presented as a functional program and is efficient in the sense that its worst-case running time is proportional to n log n, where n is the size of the output. This efficiency is obtained by means of a number of simple transformations on the initial specification of the problem, the most significant of which is a data structure refinement step for tabulating partial results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820575$2A4C265A-F564-4630-8C4F-E60B5A16148E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820575$9AAD1E03-48C7-43B1-B73A-F02B8FE0DD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"402cdbf6fa6225485debca707f63e32b4cd7bdee","datavalue":{"value":"3997135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820575$8C52B37D-BC5C-4411-AA02-4F790B25EACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544dd6cf222dd3d6adc0310d00b2dfe4a91d88c9","datavalue":{"value":"transformational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820575$CBB4DC46-2113-4BD0-9320-DE1CE264A85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdaba32b7fd70774cdb287348c6939d8a8caa1f","datavalue":{"value":"functional language implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820575$358EA35D-BFE0-4F46-A559-3A47749B0A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a6cee99cb10b5990bbe270be63a5ac7b91b4086","datavalue":{"value":"translation of lambda calculus expressions into combinator form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820575$668AA17D-F48D-4E68-A7C1-0D23F2373E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272182b11ce8283fc2bb7e26d35c3e1371065a63","datavalue":{"value":"Hughes- style supercombinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820575$A90FE427-4955-4007-8B29-85C2A2F8C317","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c3d1987db24784b2a4270b455f54a58dc653563","datavalue":{"value":"Q122932734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820575$3FCC137E-9FF9-4969-A82C-C0610B59E2A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2800799f802e165d78e062056b991744f66d3a6a","datavalue":{"value":{"entity-type":"item","numeric-id":287110,"id":"Q287110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820575$1BDA604B-1C3A-48FE-B3C8-E2CF59489936","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":"Q1820575$47E355B1-D566-41E0-B867-5AECF387B5B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fcb3e447958ada1c13c3dfbbb2b927bcae41583","datavalue":{"value":"https://doi.org/10.1016/0167-6423(87)90017-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820575$593846D0-EC77-488B-95C7-3719DFD66B73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42d1afbb68032813719fa5d856f5b434ea4b41c4","datavalue":{"value":"W2016326594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820575$33D900D8-DE93-4D92-82B8-9569D5D32EBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5bb0077e1a728dd371e6d15674fc3e101bb5da","datavalue":{"value":{"entity-type":"item","numeric-id":3339273,"id":"Q3339273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da95e337073cc155799a8bddcb0216ddff401006","datavalue":{"value":{"amount":"+0.88493097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$C60F1A30-3561-46F5-92EC-335FE0C4892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fded6805e2568fc0b3de393bd40f292890af5d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8202e7b470deb8f37ed4cef5d79ab60767a76ed4","datavalue":{"value":{"amount":"+0.8698247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$AC3AC792-5BDA-4BB0-BA15-1FEEAF2B53FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee00cf91c4fe96628702c44c8579b1331c610f18","datavalue":{"value":{"entity-type":"item","numeric-id":4040908,"id":"Q4040908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e3d8c411fef2154f235f8a67c995c933dfe9fe","datavalue":{"value":{"amount":"+0.8554807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$EB8CB83C-DDEB-4FC5-A529-8B9E25C583D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56258b2756d046fcc6a752e9d916b34329ac2d5c","datavalue":{"value":{"entity-type":"item","numeric-id":853741,"id":"Q853741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faebb586e952b9d102927adf47f7db8d88850205","datavalue":{"value":{"amount":"+0.8531605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$B3B7DE7E-AE7B-452E-A38B-D4DDE67306EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8e8313287fd2f45b88eb76a392defdb2dcad27","datavalue":{"value":{"entity-type":"item","numeric-id":3713574,"id":"Q3713574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9781a26f48d321efe2469c200f439ecb813c8414","datavalue":{"value":{"amount":"+0.85262674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$B8CA7458-DEF4-4FC9-93C4-2D58EEB8BD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d304b84ed7a6410b08089d97c5d9583ea4f63e","datavalue":{"value":{"entity-type":"item","numeric-id":1625778,"id":"Q1625778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314e0ad277e3c2b32b0cc4cc473cb98a8a063ad6","datavalue":{"value":{"amount":"+0.8486101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$8CAA42D6-3D00-4EFA-A7C4-AC8584F7DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9778372e4c2739c52e835f51987c9864245318","datavalue":{"value":{"entity-type":"item","numeric-id":1040339,"id":"Q1040339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b0631c707ab7add832f9c91f479e220c97e542","datavalue":{"value":{"amount":"+0.8484693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$ADAFE5B9-9118-49E1-9656-9178191A6E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4ad5b48bfc9352ef35523f01583efd7ebacf0d","datavalue":{"value":{"entity-type":"item","numeric-id":2789033,"id":"Q2789033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3163326323d3eaad55d24e455acf92556be9253b","datavalue":{"value":{"amount":"+0.8478715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820575$34667190-E32A-47CE-B9BE-053BEDFD7420","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal development of an efficient supercombination compiler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_development_of_an_efficient_supercombination_compiler"}}}}}