{"entities":{"Q7361358":{"pageid":31519613,"ns":120,"title":"Item:Q7361358","lastrevid":105365102,"modified":"2026-10-07T13:35:43Z","type":"item","id":"Q7361358","labels":{"en":{"language":"en","value":"JinjaDCI: a Java semantics with dynamic class initialization"}},"descriptions":{"en":{"language":"en","value":"AFP entry JinjaDCI"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4564e29f98b059c2e453c0ab76fd512e7ab99501","datavalue":{"value":"https://isa-afp.org/entries/JinjaDCI.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361358$3168EB39-9F30-4A82-BBAF-0B3E8DB2EB0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"794125f171c90da9b4a55338e6ac3623e89afeea","datavalue":{"value":{"time":"+2021-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361358$71D931A2-A9FA-4CF9-8A19-269E529DF855","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"996e57b52c7b6579dde8979343f786315258a781","datavalue":{"value":"Susannah Mansky","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361358$990E03D4-2180-4735-A661-99F3F3F3A494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fd383307cb1af50af5e37a2a5edc057d06973eb","datavalue":{"value":{"text":"JinjaDCI: a Java semantics with dynamic class initialization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361358$CA31254E-DDAE-4B05-BE59-EBAE37C4BB30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec44c40d829f5d0ced177908e24d7395ff4f2028","datavalue":{"value":"We extend Jinja to include static fields, methods, and instructions, and dynamic class initialization, based on the Java SE 8 specification. This includes extension of definitions and proofs. This work is partially described in Mansky and Gunter's paper at CPP 2019 and Mansky's doctoral thesis (UIUC, 2020).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361358$ACC2A5F6-5133-436D-AE8F-1C6A560F9E88","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":"Q7361358$E41A016E-01E3-494A-8147-9C07FAC92BCA","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"8072b0b9bf20925c4942af3ffdb86b7f35fb0680","datavalue":{"value":{"entity-type":"item","numeric-id":7361808,"id":"Q7361808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361358$466F4D6F-EFC0-4A64-BB17-598EFC8C3E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e0b5465b6a0d9e05645cdb7168eee1aaf7eb2845","datavalue":{"value":{"entity-type":"item","numeric-id":7361518,"id":"Q7361518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361358$56A6D9F2-2292-4CCA-87B0-C05672AEFE4C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"9beb5f7be6b27e22c4af581585b828086bbf7950","datavalue":{"value":{"entity-type":"item","numeric-id":7360796,"id":"Q7360796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361358$6461F08F-E2AA-4B30-9A17-92D5FCFF4A21","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":"Q7361358$89BDEEBE-529E-46F1-B3EA-CAD0EB087BA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"JinjaDCI: a Java semantics with dynamic class initialization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/JinjaDCI:_a_Java_semantics_with_dynamic_class_initialization"}}}}}