{"entities":{"Q1112581":{"pageid":1123330,"ns":120,"title":"Item:Q1112581","lastrevid":69672120,"modified":"2026-04-13T08:36:51Z","type":"item","id":"Q1112581","labels":{"en":{"language":"en","value":"Detecting stack-based environments in denotational definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4078757"}},"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":"Q1112581$467C973D-E3B9-4703-A037-4435B30240C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ccf3968e2eed8ede72a17189b7691fb91a4c58f","datavalue":{"value":{"text":"Detecting stack-based environments in denotational definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1112581$A17ECEE1-56EB-4F60-B37F-3DACE62034B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"722b82e0adba548c60177596442472b5cfd6f9bc","datavalue":{"value":"0659.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112581$510BFA8F-2B08-4981-AA29-593947347482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b32469c0bda2a768876982714da5219525efc86","datavalue":{"value":"10.1016/0167-6423(88)90001-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112581$60ACB012-8A37-4410-B36C-839EBDA186C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112581$02A4429A-C53F-4401-B07B-D6B40520FD78","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":"Q1112581$6F08BB9D-D458-4CAB-AE3E-7D65B61C542C","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":"Q1112581$FA540F28-FF3B-4D2B-AEB8-36555349081F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"389c036597085106fc09c381ced1e6f1ec51a8f7","datavalue":{"value":"We present a statically checkable, sufficient, syntactic criterion for implementing the environment argument in a denotational definition as a global stack variable. We also show how such an environment can be implemented as a compile-time symbol table. If the denotational definition also supports a global store variable, the store can be implemented as run-time primary storage, and a conventional compile/\\(evaluate\\) implementation results. In addition to its value for implementation, the criterion is useful for understanding the relationship between functional and imperative programming language styles. We present two examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$6CA23878-7BB5-4F5A-A143-668C52C9EB0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112581$BE209780-2262-4643-A779-454006F9F86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112581$6B5F846A-BD01-4B57-BD6C-E31160ACBE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112581$FD954109-F480-4D6C-B1A9-159EAD125FEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1e6382287d6a8061f95a299ee2ef8b2b287bd1a","datavalue":{"value":"4078757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112581$9C5D798B-07B5-4E68-A0CE-614749C07470","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce64fbd7031e6dba9947bb23a1e461739298fe72","datavalue":{"value":"compiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$F9853293-6760-4831-9C60-AA67FFD298D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$4DF1D8B9-CFAF-4437-B655-D0860A702C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c69a55602574d89024663f616381adda06d3cbc","datavalue":{"value":"denotational definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$429C0694-1975-41A2-A2DC-F2CC6BE339FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1bf6dcb593b84efeda43813fea690115c1c17e9","datavalue":{"value":"global stack variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$89B0DEE7-4E2E-4896-92E3-EFDF3E1155B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff526afc06347b14d1320b2cd8d15ecb4dd7bdc","datavalue":{"value":"compile-time symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$8FAA090E-DC34-4E69-81B2-FF9E557AC9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c47f2df5c2d955af152d45da166b4bf8a9d70","datavalue":{"value":"global store variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$3E1375D5-8663-46F8-AC2C-E51D8DD01DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97189da21227f046e42d1e19df2a9cb144424e83","datavalue":{"value":"imperative programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112581$F9FF2AB1-9AA5-4A99-B482-BBF6889A4CEA","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":"Q1112581$5FFA509A-3401-4C4C-AE02-150A85FBF713","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ab339631c210d083d51e76265590a8fce5c264c","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90001-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1112581$6BF0226A-6FB2-4B90-B44E-149EC3B276D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f1511d08a84167079a77c99b179d72933ea218d","datavalue":{"value":"W1985282224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112581$F76FE3DD-23BA-4095-AF8E-FCBF0C6A7F37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da9f6ea066a12236f934f41135ad1265bdc5c48","datavalue":{"value":{"entity-type":"item","numeric-id":3675504,"id":"Q3675504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8606b453f18cb3758b935e736a8ca94978e5f0d","datavalue":{"value":{"amount":"+0.7872257828712463","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":"Q1112581$7A6A7AF7-ADA7-4CFA-BDD9-23494BE785FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8ede35c936e0677e24e930e8979d971b020713","datavalue":{"value":{"entity-type":"item","numeric-id":1818310,"id":"Q1818310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4cbf1a540a25c1f64874d7697e2013d0e89702","datavalue":{"value":{"amount":"+0.7605094909667969","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":"Q1112581$73EE034C-64E5-44D8-A340-D052EBAF6A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086b08b4647f3e760ab9be2beb3a69c136588bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4437823,"id":"Q4437823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4cbf1a540a25c1f64874d7697e2013d0e89702","datavalue":{"value":{"amount":"+0.7605094909667969","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":"Q1112581$7BFB6C27-A440-42B4-9074-E2A8B90B8D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8c20e931f6e8a86033d7f7ef6bb72037a53e02","datavalue":{"value":{"entity-type":"item","numeric-id":3730004,"id":"Q3730004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e2ed2410ce9b0ba51dba82becd0487005a3bc8","datavalue":{"value":{"amount":"+0.7229652404785156","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":"Q1112581$9817D9A2-86C2-4CD6-AB69-7FFBF5896AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8281c10fa43e04e684a0fa28676d86ead59fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3780416,"id":"Q3780416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4020bb61766fdf86a503b7e51f071111d9e0082","datavalue":{"value":{"amount":"+0.6907927393913269","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":"Q1112581$D65FDEBF-6EA8-4BEA-9FD6-C172D92DFCC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting stack-based environments in denotational definitions","badges":[]}}}}}