{"entities":{"Q7361234":{"pageid":31519241,"ns":120,"title":"Item:Q7361234","lastrevid":105423473,"modified":"2026-10-08T13:45:16Z","type":"item","id":"Q7361234","labels":{"en":{"language":"en","value":"Jinja with Threads"}},"descriptions":{"en":{"language":"en","value":"AFP entry JinjaThreads"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33ee7072fff024dcb99fb1f2babd4642a37294a1","datavalue":{"value":"https://isa-afp.org/entries/JinjaThreads.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361234$F49DEE42-6E42-4ED0-8352-771667B00E9F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361234$18E9248E-7410-44F0-A274-E8609ED2080B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e02c7261be349d234e112a84ae98ef554ac675d","datavalue":{"value":"We extend the Jinja source code semantics by Klein and Nipkow with Java-style arrays and threads. Concurrency is captured in a generic framework semantics for adding concurrency through interleaving to a sequential semantics, which features dynamic thread creation, inter-thread communication via shared memory, lock synchronisation and joins. Also, threads can suspend themselves and be notified by others. We instantiate the framework with the adapted versions of both Jinja source and byte code and show type safety for the multithreaded case. Equally, the compiler from source to byte code is extended, for which we prove weak bisimilarity between the source code small step semantics and the defensive Jinja virtual machine. On top of this, we formalise the JMM and show the DRF guarantee and consistency. For description of the different parts, see Lochbihler's papers at FOOL 2008, ESOP 2010, ITP 2011, and ESOP 2012.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361234$9379249B-6B11-427A-A427-2E2692A18F77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e06b5cd3615b9f11450729883462a288fa866","datavalue":{"value":{"entity-type":"item","numeric-id":3558240,"id":"Q3558240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$1231A10F-6366-4619-9DF6-906E062B6741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2395dd702f138e4eac8055f3110cfa61dc3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":3088008,"id":"Q3088008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$27802130-222A-4C5A-92B6-3B26251396E4","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"27e971e25f48a406ca09caf18a9e463d40cb63ef","datavalue":{"value":{"entity-type":"item","numeric-id":7361166,"id":"Q7361166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$39826A85-E7A7-4E1A-9FE3-EED3D448245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c831ccab6e827da159cf571d2fcdccb4094b5b7f","datavalue":{"value":{"entity-type":"item","numeric-id":7361088,"id":"Q7361088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$EE2EE8C7-BDB5-49A7-8330-EF5697BCEA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$9A20B06E-6DA4-4A0B-826D-043B1697B5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"f0d6ccc9a00d2d1e3be7ec2239689671c14dec25","datavalue":{"value":{"entity-type":"item","numeric-id":7361918,"id":"Q7361918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$FE330DF8-A1CB-4A37-BB9F-F4C4A1CEF73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c6381c3139ee5dae1881d28867a7925513419337","datavalue":{"value":{"entity-type":"item","numeric-id":7361667,"id":"Q7361667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$275E5411-6DBA-4049-B617-639173590A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0c28ea3d362d403c1dd31bd7ebf53bc307ddee39","datavalue":{"value":{"entity-type":"item","numeric-id":7361172,"id":"Q7361172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$BBB7D488-E75B-49DC-B971-2CB2D558CF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"1518b44e9920a7e58377edf0d25bb1683f308560","datavalue":{"value":{"entity-type":"item","numeric-id":7361163,"id":"Q7361163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$254F69F1-43EC-4DDB-B01E-52E077DCA3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"8abf13f6ac778743b812d2b96e5b400a9714604e","datavalue":{"value":{"entity-type":"item","numeric-id":7361144,"id":"Q7361144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$26154668-BBF6-4960-AA19-93ACC7985745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"b3a2297d5bff32b90586f57127478a7b0e327c28","datavalue":{"value":{"entity-type":"item","numeric-id":7361170,"id":"Q7361170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$BF099D27-FCDC-4BD3-9955-31A662EF8C13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fa6f2f337ef8352aec632547ae6f1ca832f426","datavalue":{"value":{"time":"+2007-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361234$41D285B0-5315-4D13-BDE5-4605791735FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a514d895bbf257bb472e355868d47f0ec6e5ca27","datavalue":{"value":{"text":"Jinja with Threads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361234$106A67E9-E67E-4521-B127-0B2EA2345291","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":"Q7361234$6392430B-70D2-4E41-AD29-F6F33C7021F1","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":"Q7361234$86E7307A-D3E4-4E0B-AB3E-D2DE325AF71C","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":"Q7361234$9298ED67-795F-4AEC-A6D7-266AB89ECCC9","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c46340db22d250b8a2e65e90cf8c2a3451f60282","datavalue":{"value":"28538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361234$5D00CB2B-3120-4AA8-827F-E45318E50DC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361234$A1C02FD7-DFCA-47CA-8EED-64E64CEA8DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361234$01D3BA80-998E-4A64-B025-F852DEF2B8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389c093d3dfdf169f9c3d6bf18111c17bc929c93","datavalue":{"value":"52.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361234$4B6C5E8B-0792-4064-AA2B-190BFC34E8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361234$0BE01E84-DAAD-4554-83B4-1F03F0F766C2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$E768B800-8880-4493-9916-1F80A193039A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$38793A1C-35B1-417B-BF00-18A4C4E623DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$F4F9C14A-EDF8-4CBC-9079-AE3939595971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$61820CD3-B518-4B9C-92CA-8E3B7C04B373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf0907811d55462bac441aac2faf4731da29b6c1","datavalue":{"value":{"entity-type":"item","numeric-id":40307,"id":"Q40307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$22C57E5B-3FBB-4260-9A1C-9A5A9AC223F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$159D7ABB-766A-41C0-9147-60A3D4C22C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"507f49bf7d120b2546ed719134b2adbf989f2ef0","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$2628E275-CEDD-4961-95F9-A0CC6E84BFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"643be13c947e04b013d9c437afc8010ce42f0505","datavalue":{"value":{"entity-type":"item","numeric-id":40292,"id":"Q40292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$31CED043-F9C8-460C-BA79-E08FA88456AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$D577353D-54E9-4BBD-B9B5-15F672780DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"896262f806b2b78fa79739c4fc9e5155ef235490","datavalue":{"value":{"entity-type":"item","numeric-id":40250,"id":"Q40250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$87C1E6D8-F320-4A71-98B3-9F975A714A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$FD02C06B-102D-4312-90B3-BD78429EE077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a9be6c4abf0ed21f5a8ef73746651202aab93161","datavalue":{"value":{"entity-type":"item","numeric-id":5972355,"id":"Q5972355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$93E9A439-2D9D-4F99-BB54-C1FCFE2C795F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6d53d7ed274b53d413fcd85c0401a1eb792a6ffe","datavalue":{"value":{"entity-type":"item","numeric-id":40590,"id":"Q40590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$B60F51CD-DDE0-4FBE-B1C9-69B12BF3590E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c6b5d7d434a3233a16ea515d36e5e13457b93d0","datavalue":{"value":{"entity-type":"item","numeric-id":41876,"id":"Q41876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$EFE1A9E9-B1E0-40A4-B332-58561A820153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5402e68fb3332762e050d0a9a22bafda7788e26d","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$0C520A70-9D7B-4359-801E-20B220C370AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"98ec7f91d3f6de61430d42391739d204fdee1071","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$737F42C5-E7DC-49AA-A940-5A268F5E9093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d92991dea49a0e49114f363f68258d602c203fa0","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$9DA28C40-ABCF-4C64-BAC4-73578D236A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dcb332617e03478c714945f883f935de83ce6658","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$ECB83AEF-5251-440F-B7A8-FD578812F1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$1C4F17A0-E7D5-4DCB-8927-7544474B97F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3fa60e96c4d745ede2fe38c62f458929840e792c","datavalue":{"value":{"entity-type":"item","numeric-id":25785,"id":"Q25785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361234$DBA40F68-5CA9-4767-97F7-544DD69D64BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Jinja with Threads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Jinja_with_Threads"}}}}}