{"entities":{"Q7361809":{"pageid":31520966,"ns":120,"title":"Item:Q7361809","lastrevid":105369638,"modified":"2026-10-07T13:38:37Z","type":"item","id":"Q7361809","labels":{"en":{"language":"en","value":"A formalized programming language with speculative execution"}},"descriptions":{"en":{"language":"en","value":"AFP entry IMP_With_Speculation"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"798788dcfb56d9a473d993fa050a6dedaa389994","datavalue":{"value":"https://isa-afp.org/entries/IMP_With_Speculation.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361809$D469973D-C43B-403C-A796-8BAA3325FE99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9452a1505cd6db1dcbbb15b3ceccbb7525b3df24","datavalue":{"value":{"time":"+2024-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361809$CBCF088D-B0BD-49CD-B325-94D3D4965024","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"63ebf80e19d1b5f8d8b63a6686d04df3ec992d31","datavalue":{"value":"Jamie Wright","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361809$FE02B47C-5852-4E80-8C10-21893F7FB9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f94288ed91377510811411084214ae1d548d5352","datavalue":{"value":"Andrei Popescu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361809$1E3985BF-7D52-4AA8-9A43-574A0E7C835D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2a8c0c54e72197ea43c387c79f3e168b6d60e52","datavalue":{"value":{"text":"A formalized programming language with speculative execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361809$65C10934-38DB-4F48-ACC7-D19DB6CD1A7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44599b26f59ee496c193c8d33c5920d8262680ef","datavalue":{"value":"We present the formalization of a programming language whose operational semantics allows for the speculative execution of its statements. This type of semantics is relevant for discussing transient execution security vulnerabilities such as Spectre and Meltdown. An instantiation of Relative Security to this language is provided along with proofs of security and insecurity of selected programs from the Spectre benchmark.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361809$2D1907D1-C2B5-49A0-82E6-D87DDA31B3CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361809$AE842AEC-E798-4050-9393-C67C995BB4E5","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361809$B8617321-30FD-4024-85F2-8334DD34AE0A","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"a26eee6e033d0b5608bd16ec5c9f10d357a3d5f3","datavalue":{"value":{"entity-type":"item","numeric-id":7360793,"id":"Q7360793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361809$BAC30419-7330-4E5A-BEBB-076768F34CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65dbfb47d0b5da65bd2cdfbc8cab28721a9f7690","datavalue":{"value":{"entity-type":"item","numeric-id":7360803,"id":"Q7360803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361809$415775A1-4678-4245-A481-F13EB9FD4641","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"3ca6f67fa33a00f3a470a74fe47e6fde9681edc6","datavalue":{"value":{"entity-type":"item","numeric-id":7361387,"id":"Q7361387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361809$41A2794F-8AC8-4D1C-BAB7-72935086A3E4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361809$F6A9E82B-2FBF-40B3-80B6-65FD0287A66C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalized programming language with speculative execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalized_programming_language_with_speculative_execution"}}}}}