{"entities":{"Q1822488":{"pageid":1833230,"ns":120,"title":"Item:Q1822488","lastrevid":69237618,"modified":"2026-04-13T05:40:31Z","type":"item","id":"Q1822488","labels":{"en":{"language":"en","value":"Linear future semantics and its implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4003509"}},"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":"Q1822488$8FB83B7E-1D1A-4B00-815D-D3EA3E364E92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f345ad8df2aed615e1563df1c565b37bd9aeb789","datavalue":{"value":{"text":"Linear future semantics and its implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822488$EAB4D838-EF60-4571-91DE-4CA9EF248615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23aa6efbeb94d33e0f63cbf0a3b6af3d6ee64ab2","datavalue":{"value":"0618.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822488$2440542B-7978-446B-B1FA-939D1E1F6D0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f96471cae1e07f6a6634f96b9b18ee5abf240ba0","datavalue":{"value":"10.1016/0167-6423(87)90005-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822488$4FE382A3-5874-42CF-9737-A46553C8BCE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f4430784993345b7607c5ba5c588b87bb71c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1644763,"id":"Q1644763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822488$D4BAE95D-B629-4745-BD7F-84957877B608","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":"Q1822488$B954B5B3-0CFC-467F-A9ED-3AD4F3EF6C38","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":"Q1822488$02E46C77-0298-45C2-AC3D-0BAE0CA8A967","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":"Q1822488$3D23C2B5-7B58-42DC-BF99-8A07C1066F7B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a00d3ae906202b1e6f0eb3dbaa514b7aeebc1b30","datavalue":{"value":"We describe linear future semantics, an extension of linear history semantics as introduced by \\textit{N. Francez}, \\textit{D. J. Lehmann}, and \\textit{A. Pnueli} [Theor. Comput. Sci. 32, 25-46 (1984; Zbl 0543.68019)] and show how it can be used to add multiprocessing to languages given by standard continuation semantics. We then demonstrate how the resulting semantics can be implemented. The implementation uses functional abstractions and non-determinacy to represent the sets of answers in the semantics. We give an example, using a semantic prototyping system based on the language Scheme.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$E831AFFC-0783-4C8E-9D54-1C5817098521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822488$CBE89B82-1D5F-4957-A30C-21ADA1FE4D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822488$AB90C976-21BE-4252-9B11-51011D74F016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"259084f8df0523c87617be4594f561a78bd27e6b","datavalue":{"value":"4003509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822488$10E8F46F-00E5-4DD6-8FA5-92169ADABB0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b047a3e7e0098ed08d0f4e4eb234a723de1e125","datavalue":{"value":"communication between processes in a concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$D380FEE5-A351-44F7-9A23-26097B402F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$2790C24F-EAB6-49E7-A025-5E101652050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fded5dc9ec883be0447035113d3910e9a4ac745","datavalue":{"value":"passage of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$5B7BEBCC-6A26-4297-B62B-5559E740F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1724f434bf14ae4096df1de812ccb2f4cb71662","datavalue":{"value":"linear history semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$8C906FAE-911D-48A4-BEC5-02EF5899EC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffa8976af65f39c4c3aa6091ebe0347259ab6e6","datavalue":{"value":"multiprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$B39A7298-8EEB-40E5-B14B-929FF6945C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7161fa2d747c29ebeadfb51e2722bda04959ae2a","datavalue":{"value":"standard continuation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$ABE737AA-4DDF-45AA-B8F3-2A0EF53F2B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$690B19BC-2D17-4E98-ABAD-3449E90C4DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f48aeb6e337932202c29f8af44d9c00bbec8b3","datavalue":{"value":"functional abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$0487E1F0-E884-4F95-ABC1-25A456A190CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0086e9eb8214f95ce1718eb97333b7ab25ea00b9","datavalue":{"value":"non- determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$FA60D10B-84DF-48CF-8A24-F7FDF1228508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"712780bff5d31ce390414912a4929310e4ea1b60","datavalue":{"value":"Scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822488$A76D9A67-D3A0-4B3F-B785-48CD7E86F6B9","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":"Q1822488$D803BBDB-A1A3-42C9-81CB-640D37496357","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fea335e164b1c2591d68e0b0fad53029155da411","datavalue":{"value":"https://doi.org/10.1016/0167-6423(87)90005-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822488$64532005-A74E-493A-A7FA-BF808C413AA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f533472057fdd47fb394526374c0741402d90281","datavalue":{"value":"W2057208438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822488$3FEEF2BC-8EF3-44E7-9BF8-8B664052B6C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"153d558701bb978070267d0ee5544966cc25b235","datavalue":{"value":{"entity-type":"item","numeric-id":1006453,"id":"Q1006453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7868993c3dba922ed7a6accc8eb3095d1a2c1293","datavalue":{"value":{"amount":"+0.86537045","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":"Q1822488$A19C9651-E795-4FD0-B9B4-E48DE747FFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4784599dff4a68d969201d6d8dc029ce15146bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4330857,"id":"Q4330857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2672b9cf74711639c6de61a6bd87313b97ed5215","datavalue":{"value":{"amount":"+0.86209816","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":"Q1822488$5746DB5B-D8EF-4DD4-A9F4-FFAB9982823F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b6b40ce9812a1e889a773dd41dc4dc49fa44e","datavalue":{"value":{"entity-type":"item","numeric-id":671406,"id":"Q671406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d3e7fef999eb3bc371b84dc40b5ed2a526257f","datavalue":{"value":{"amount":"+0.8594886","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":"Q1822488$C452C4AC-505D-4C48-A495-4C3070BFA18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485d55ce65dad6117a3cc1559df78c174b4da058","datavalue":{"value":{"entity-type":"item","numeric-id":2817693,"id":"Q2817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dbe2b20e4a805d2fcded8fc2cca9ed9761da37f","datavalue":{"value":{"amount":"+0.858011","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":"Q1822488$4BA03163-F404-453D-8624-6CF7D04DAE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf790c5aa95c76d26d7acc9f26e6ffae30b44e2","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e4710b1064e1eed04849fc5e8aee819daae8ae","datavalue":{"value":{"amount":"+0.85670084","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":"Q1822488$C938A2B3-161C-4888-9A9C-E0B6753C7302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08244048fe8215cd8373e554edbb2972d2954c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e895f450f2d5b97b2e465efb3ea4c1765298acb1","datavalue":{"value":{"amount":"+0.8540078","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":"Q1822488$DD2FCE3A-4A7F-440C-990A-7574F77DA3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fd32e463d03137b21bb2fe383e1943074793b","datavalue":{"value":{"entity-type":"item","numeric-id":2147173,"id":"Q2147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab0d1036b63cb45426d2569b5c583fae1e2300d","datavalue":{"value":{"amount":"+0.85327816","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":"Q1822488$21186DE9-D172-4116-B0A3-071BF996A178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9481a63056d7b80fdacd2716a225e55367239e4","datavalue":{"value":{"entity-type":"item","numeric-id":3704887,"id":"Q3704887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01566f32e1055ddf4762d7fc497f8f1cf740509","datavalue":{"value":{"amount":"+0.852527","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":"Q1822488$93CA830A-B745-4A34-B53A-ECBBB5E14638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a97031e24079f7acf31713fe9d533809b473d60","datavalue":{"value":{"entity-type":"item","numeric-id":3221398,"id":"Q3221398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01566f32e1055ddf4762d7fc497f8f1cf740509","datavalue":{"value":{"amount":"+0.852527","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":"Q1822488$77A921E0-C5BD-4B19-9445-1753D9FD9FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c8e9ecbb268ce39ef5ea46221aaa5f7dd97874","datavalue":{"value":{"entity-type":"item","numeric-id":1884965,"id":"Q1884965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f713fddbac5ac2d5d4fecec7e2b1d21c2c8e0e","datavalue":{"value":{"amount":"+0.85243565","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":"Q1822488$0BB9D17D-6D97-4DBD-BD7D-AEA901437D8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear future semantics and its implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_future_semantics_and_its_implementation"}}}}}