{"entities":{"Q1108782":{"pageid":1119531,"ns":120,"title":"Item:Q1108782","lastrevid":66730986,"modified":"2026-04-12T12:29:41Z","type":"item","id":"Q1108782","labels":{"en":{"language":"en","value":"A self-applicable partial evaluator and its use in incremental compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068254"}},"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":"Q1108782$F1CC998E-E935-40A5-ADEE-24B8C18A322F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4d2e8f253c5828d5c6fc1dc2aa615bc652d1249","datavalue":{"value":{"text":"A self-applicable partial evaluator and its use in incremental compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108782$231C0501-11B2-44EF-A4CA-F42E8104ECA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e1c2c1be2b9a608fbacac44c4cc9b1c31250320","datavalue":{"value":"0654.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108782$DEB1BD75-F20C-4548-AF18-662B9EBA2235","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99e10e8c52d131fd73aa1a9163b4a9668eed72cf","datavalue":{"value":"10.1007/BF03037133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108782$05B6D421-A627-4C5B-9184-774E1A710228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108782$1E982FA3-17DE-4A8B-9C16-9079C65472B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108782$1FEE90E2-2BC6-4158-A01B-6160EC01FA9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1108782$BDD7CE58-A5B0-4DB3-A4BA-9DD0CF6D1ED2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92a1a93deac6add1fb621e6d72873112bcaddcef","datavalue":{"value":"This paper presents an experimental implementation of a self-applicable partial evaluator in Prolog used for compiler generation and compiler generator generation. The partial evaluator is an extension of a simple meta interpreter for Prolog programs, and its self-application is straightforward because of its simplicity. A method of incremental compilation is also described as a promising application of the partial evaluator for knowledge-based systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$8232353A-BD56-44F5-8E95-1AFB16D834C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108782$15069EA9-1B95-4BB9-B1F8-8FBC240E697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108782$247E1037-5A14-4CAB-90AC-C1A3E9505B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108782$E128AC09-E755-4663-B841-2C58EE708768","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adb24e140de26781de8c69fef32216b60ab50d7e","datavalue":{"value":"4068254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108782$18B9F751-22DF-417F-B506-CDD779EC44EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$A3CA2D06-429D-4904-AE83-A4B3AC66F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0d3bb376271d5bd313585743fb9dc13e8c45ac","datavalue":{"value":"meta programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$2B14599B-B5F4-4093-9D9B-CD9A9C2FD296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$54C18C8A-2108-4655-A90F-22711082FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cc69a84dbb0387d03547cb72a43f6762695892","datavalue":{"value":"compiler generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$CB0D571A-D07F-4FB4-AB8A-191E7EEECF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c44cab9a69106b28cb7f4cd1f910642950b78a4","datavalue":{"value":"compiler generator generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$656DA58D-1DA2-4CAA-AED5-EDD520C12AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23891206ccdd049860af7e7e4cf43deae8a4170","datavalue":{"value":"self-application","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$2054AFEF-9782-4973-AAFF-5F805E7A29DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1811a55830c863c29e564b4539bb03f2705d1e8","datavalue":{"value":"incremental compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$EC2D13D8-D74D-4D30-83BD-D6CEE66BDC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadbbce4d6212535f94d23b11a1e613d10da08db","datavalue":{"value":"knowledge-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108782$AE8D0B06-D00D-4467-BFBB-57D358BCB967","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":"Q1108782$4C3E028D-39EE-4A29-A01B-2DCA509BC3A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"305395d767f4a640605eaff754e44126df02a18c","datavalue":{"value":{"entity-type":"item","numeric-id":3742690,"id":"Q3742690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108782$EFADDBC6-5B33-4501-9F80-DB8AE01C82BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9663d56153b81f209b58b441a26895f34be14a44","datavalue":{"value":{"entity-type":"item","numeric-id":1233314,"id":"Q1233314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108782$2090B5A4-794D-4488-90A8-88664649C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3494cc2aa0ad10f4b62ff7001326572502cbf99","datavalue":{"value":{"entity-type":"item","numeric-id":1819928,"id":"Q1819928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108782$4B8B3E9A-EEE0-4CF2-A9E3-CF766375C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fd86a574ce52183f6056be53a5d5584999bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108782$739F7110-88BD-4484-AAF8-713FEAE35501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c0a71b12bd5b8287ad1e813431286b7e2692c2","datavalue":{"value":{"entity-type":"item","numeric-id":1108817,"id":"Q1108817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108782$D12A5F0D-67C0-4FC0-98F4-9B0B8FAAE65D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be60d60be77f27fa349a1bc48ca074685750ac93","datavalue":{"value":{"entity-type":"item","numeric-id":3711735,"id":"Q3711735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bbb61a0efe1bfab841ac3cf3fa632fae5779e0","datavalue":{"value":{"amount":"+0.8307583332061768","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":"Q1108782$F2C4B748-BDA3-4165-8EB7-4835508C7158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bd3a4477379d7dce5853055d92a6a8d3c84465","datavalue":{"value":{"entity-type":"item","numeric-id":3787457,"id":"Q3787457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f762f5adf7d803db8b974a3451961da506b6ed97","datavalue":{"value":{"amount":"+0.8274689316749573","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":"Q1108782$E9B913A1-2F8A-4CF1-B543-E641A7B35E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28c91e591df77c81874c3d7b68affd456e60cf4","datavalue":{"value":{"entity-type":"item","numeric-id":3742690,"id":"Q3742690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef083320c1b7ad11e11929f2fa98f9a44c15be6","datavalue":{"value":{"amount":"+0.82741379737854","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":"Q1108782$C1CDD4C4-EDC6-4EAB-9F25-C90697AD4F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e75089dee63979659d647ac6815fd21099c954","datavalue":{"value":{"entity-type":"item","numeric-id":4939696,"id":"Q4939696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3197488816b4f53bcd216edd46bcecbeb1d162","datavalue":{"value":{"amount":"+0.8196974396705627","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":"Q1108782$A80C53ED-80D4-450E-B4C0-A78185B3710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d13389dcc1e14b95c0c39236ae92cb9eb12d68c","datavalue":{"value":{"entity-type":"item","numeric-id":5308015,"id":"Q5308015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea07ff4f63a69726e9848ee4533bfc80c9bf817c","datavalue":{"value":{"amount":"+0.8137192726135254","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":"Q1108782$4C97F10E-0F93-4325-B49E-8A7ED5A5214D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A self-applicable partial evaluator and its use in incremental compilation","badges":[]}}}}}