{"entities":{"Q1823653":{"pageid":1834395,"ns":120,"title":"Item:Q1823653","lastrevid":43352445,"modified":"2025-07-25T01:04:54Z","type":"item","id":"Q1823653","labels":{"en":{"language":"en","value":"Incorporating static analysis in a combinator-based compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115922"}},"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":"Q1823653$3EA6AC69-2CDB-4065-B614-88C9738AA554","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddf19bff9aaceab2636a5a4c24783e6c963905cc","datavalue":{"value":{"text":"Incorporating static analysis in a combinator-based compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823653$D7A6206F-B651-4F9B-8B74-3D468B6A8BC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"873663319581c73b0e11e86c9f9127079242e926","datavalue":{"value":"0681.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$995E5DE9-1002-4FD6-8D3B-93F1C5F2D5BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c33c4d0c99ab5b0e10527169614f778941098ce","datavalue":{"value":"10.1016/0890-5401(89)90052-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$F89DBE12-6610-4B05-99DA-5874193AB9E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42a6a8bbe1e4b0a14066d7a3a693026201c62bcc","datavalue":{"value":{"entity-type":"item","numeric-id":808720,"id":"Q808720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$F2C2E94F-DF07-4FF0-A6C8-4AD742CA3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$78624B9C-9246-4ED8-BB73-07598EC8323A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$470325B6-8048-48FB-989F-437EC00E14BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823653$7254CEB1-43B8-4C39-A21D-9887F7F1DA27","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4db8ba9e02b0ab12ad4fea3b18e5f6b28ab7e0c3","datavalue":{"value":"The denotational definition of a programming language typically specifies the runtime behaviour of the language constructs. Therefore, such a definition may be easily translated into an interpreter. This implementation may be inefficient, but it is guaranteed to be correct with respect to the formal definition. An example of such a method is the so-called ``combinator-based'' compiling method: source programs are translated into trees of combinators. Three techniques are studied how restructuring a denotational definition can lead to a more efficient interpreter: (1) Static replacement converts run-time type checking operations into static ones. (2) Factoring rearranges the semantic clauses so that static type checking is performed prior to dynamic interpretation. (3) Finally, a continuation semantics is written in combinator terms, and associative properties may be used to rotate the trees. The technique is illustrated by applying it to a simple expression language EL. In a special section, the authors discuss an imperative language with loops. The paper shows that a program improvement technique used by realistic compilers can be rigorously described in a denotational framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823653$7D9A6E31-5176-4CBD-BB98-1A905C07BF54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$0EB5EAB5-5F87-4EF0-AE30-6DE1AB51BCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$D3473482-55C5-42B7-B524-37085D610790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$C757F574-E80B-4252-BCB0-2DBA0C5F1850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"210bf5e731b37fd23883fd015cb7865495f494c5","datavalue":{"value":"4115922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$63C42895-A16A-43FA-B879-342B5BA6C83E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacd34e911e115e3cfe335809779aa742a58e725","datavalue":{"value":"compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823653$0C866947-D620-46FC-AE29-1BC92EDF1923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1bba1c3f277f0ddecda7a091132cef4e8a319e","datavalue":{"value":"semantic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823653$4C475F01-D614-4670-A721-3536ECF97602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823653$233A8408-9597-40BC-BAED-FE4E29442941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823653$E0C4222D-D66B-4136-8A1E-E1C1C541D80D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"018288774e0c40914447702fd607f6293c4539a3","datavalue":{"value":"Q123235145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$5E81EBBD-EE19-47B4-A235-440069B78945","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"022fe16d37aa700fea70e7a830c42e0ea8776f70","datavalue":{"value":{"entity-type":"item","numeric-id":685457,"id":"Q685457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$C718E020-B0AD-4BA6-BB1D-211C28F82E3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$1D758F75-4963-492E-80FC-2DAFF7B635E9","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":"Q1823653$8A1A9E89-376C-40DE-9186-C7CE26716D8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddabca3244e4f1fa64353dc6ae2329d0510b821f","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90052-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823653$B98B1B90-590A-447F-9F82-591B94429B48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79b83b022b072f097a3d0771f13a7cd2929b7eb4","datavalue":{"value":"W2015091569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823653$886DE8A4-149B-4A5D-ACA8-B87C236195E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9096a0ca9f65e95a33efc00d5fbb13405c0a31e","datavalue":{"value":{"entity-type":"item","numeric-id":1054459,"id":"Q1054459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$DFE3412D-0B58-4E64-A412-D6FA781FB503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab282e4d867f9bfe001c10d7d2f88a3947c4259e","datavalue":{"value":{"entity-type":"item","numeric-id":1148118,"id":"Q1148118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$A0ADB6FD-2E73-45D0-AF49-4B262CB4B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$BD1A5383-ACB9-4E20-BD96-29415080C4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$FE95658E-EE8E-478F-AB66-2962C9618712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$4CAC7598-4CE1-46DF-BF25-6AE63F56F1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b92fd2e1ef6327ac929e8d74f7e6384b5f32cf","datavalue":{"value":{"entity-type":"item","numeric-id":1162139,"id":"Q1162139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$03D8D549-09B3-4ECD-878F-6365CCEDE7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8de960a70541b3288752b5be00a181bf18e1b51","datavalue":{"value":{"entity-type":"item","numeric-id":3681904,"id":"Q3681904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$8EF6DE5D-2DAB-4525-92A6-4927CB85D3D2","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":"Q1823653$D8948BA5-E21E-4552-94E5-EFFB820E97B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$46F037B2-8C6A-4CF4-A785-2248F97E8DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$0CB775E6-9315-4F3C-B31C-B70306E1969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38544e4d5b9b72e55b740515a4b055c67b48ec72","datavalue":{"value":{"entity-type":"item","numeric-id":3942416,"id":"Q3942416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$52A24505-32BD-452F-BAFB-CA2737C85C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f3429b7611b48f4e4d2e7182db10aee4a229f85","datavalue":{"value":{"entity-type":"item","numeric-id":3334057,"id":"Q3334057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823653$8A4C1526-2336-4D47-8B44-613549A2B1AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694c55c579427bbc765a1b80fa56eadd8318fe67","datavalue":{"value":{"amount":"+0.86961544","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":"Q1823653$6136988C-EA2A-46A8-9DFB-E2813F7C2B74","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":"7f3e091611d84c0063f69966753d1c0d6392d1ef","datavalue":{"value":{"amount":"+0.86021996","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":"Q1823653$07B89AA4-BAF8-45D5-B886-D004FEE8EBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c33528a2ab0bc46734ae591d1a7422726916345","datavalue":{"value":{"entity-type":"item","numeric-id":2949697,"id":"Q2949697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16ad3f1f590fdc88118558e9908eda3a093fd0f","datavalue":{"value":{"amount":"+0.8591498","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":"Q1823653$5F522726-6C08-49DF-AEA8-1D3C5BDF059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cbf5f9298884a2f2c865b867b62854db57b8084","datavalue":{"value":{"entity-type":"item","numeric-id":5178018,"id":"Q5178018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec40cc998f2825eb281339dd43f74939876849a3","datavalue":{"value":{"amount":"+0.85898864","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":"Q1823653$3E1676F6-0311-4478-85AB-5DEB7DB60787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5e2743a928601be2cfa4f3f7c5a795ed778375","datavalue":{"value":{"entity-type":"item","numeric-id":5432332,"id":"Q5432332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb19828db3187973b6f2e76cdf79242f33180713","datavalue":{"value":{"amount":"+0.85729426","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":"Q1823653$4C02779D-47A5-4868-BBB5-81A3E66B6876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8577a8b6d421415a929670523cc02df4975f7dde","datavalue":{"value":{"entity-type":"item","numeric-id":5894115,"id":"Q5894115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb857caf7e92a3aaa41317b55df290797e82b77","datavalue":{"value":{"amount":"+0.85418075","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":"Q1823653$B0B97A44-94CA-4229-B459-1B701428B66B","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":"81d9c82e8ff1190ad1c523a5b78fb1e7757994be","datavalue":{"value":{"amount":"+0.85260195","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":"Q1823653$EB2CA1BD-C6EB-40DA-B466-69DDE71C53ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823653"}}}}}