{"entities":{"Q7361287":{"pageid":31519400,"ns":120,"title":"Item:Q7361287","lastrevid":105364520,"modified":"2026-10-07T13:35:21Z","type":"item","id":"Q7361287","labels":{"en":{"language":"en","value":"Inline Caching and Unboxing Optimization for Interpreters"}},"descriptions":{"en":{"language":"en","value":"AFP entry Interpreter_Optimizations"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4e77386f8c0451a1d16717b32a819473e82000d","datavalue":{"value":"https://isa-afp.org/entries/Interpreter_Optimizations.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361287$76600152-C0A3-4C3E-B4DF-B56D08D282AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc53cdfb2215e7a475c10236071fd2493d167b52","datavalue":{"value":{"time":"+2020-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361287$8F4A67A7-5777-4AF6-8ABE-FFC11ECB93F0","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"e5724ef8b4ec23cf8c7c0feafb67eeb84d745382","datavalue":{"value":"Martin Desharnais-Sch\u00e4fer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361287$D9939C7A-43C9-4421-B0CA-841620F7BEEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf34b9595955f24c3ce807ce586d4e350c7eeb5a","datavalue":{"value":{"text":"Inline Caching and Unboxing Optimization for Interpreters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361287$7828F4E7-A159-417B-9A86-561DDF5F9466","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33ef2308d4fb3bdf77e1a091727edfeada2d6b27","datavalue":{"value":"This Isabelle/HOL formalization builds on the VeriComp entry of the Archive of Formal Proofs to provide the following contributions: an operational semantics for a realistic virtual machine (Std) for dynamically typed programming languages; the formalization of an inline caching optimization (Inca), a proof of bisimulation with (Std), and a compilation function; the formalization of an unboxing optimization (Ubx), a proof of bisimulation with (Inca), and a simple compilation function. This formalization was described in the CPP 2021 paper Towards Efficient and Verified Virtual Machines for Dynamic Languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361287$6E5241A9-77C5-48C5-B137-3A876BE01371","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":"Q7361287$94647998-42B0-4368-8D6E-68A0AAD1E87D","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"fb4ca62534d114b18939e42c4fb75c00ca39fd41","datavalue":{"value":{"entity-type":"item","numeric-id":7361691,"id":"Q7361691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361287$AF0D1263-C462-4E25-A848-30CF2DFF13A6","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"74073bb97e06ee9cb8d0a44748848fdf77fe551f","datavalue":{"value":{"entity-type":"item","numeric-id":7360798,"id":"Q7360798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361287$F178C5C1-CF4E-48EE-A141-B444468E82DB","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":"Q7361287$39642DC3-ED57-4DD0-9001-B27277F355B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inline Caching and Unboxing Optimization for Interpreters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inline_Caching_and_Unboxing_Optimization_for_Interpreters"}}}}}