{"entities":{"Q40252":{"pageid":40308,"ns":120,"title":"Item:Q40252","lastrevid":105427601,"modified":"2026-10-09T10:07:56Z","type":"item","id":"Q40252","labels":{"en":{"language":"en","value":"Jinja Threads"}},"descriptions":{"en":{"language":"en","value":"AFP entry JinjaThreads"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c46340db22d250b8a2e65e90cf8c2a3451f60282","datavalue":{"value":"28538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$973ABABC-7320-47DC-AD0B-22BFB1924C47","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":"Q40252$E7E61765-0BC7-4297-A318-6341BE3B94B8","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"397ab2c8b36a45a44b489ee7bb40bdbd22c1de5c","datavalue":{"value":"https://www.isa-afp.org/entries/JinjaThreads.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40252$BA5288AD-21AE-4275-B5F2-0C8807F3F201","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$65821767-C7EE-4883-A678-EA2D089BB167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$837B9182-6D3F-418B-AB41-E5BF768ADF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb161afac2a132ba3ff878220cc5d73379a399b9","datavalue":{"value":"52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$56D0594A-BE25-43E7-92D7-44CB62E2D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$36013000-4E8F-4531-9DB6-1F6A5A9E7AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$2D9221C9-E77E-40F7-A84E-78F98F96287A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$3D842403-0F2E-41DC-916E-97B1C03B41D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389c093d3dfdf169f9c3d6bf18111c17bc929c93","datavalue":{"value":"52.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$EBF979AA-DD05-482D-A10A-139C98752852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40252$33667CCA-0E3F-4E77-B41B-2A1AAA5B9E5E","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":"Q40252$3D14116A-97F5-480B-97B3-574693230752","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":"Q40252$A5AF274F-6325-4979-847E-112F4BE7AA23","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":"Q40252$FC080488-5F7B-4ACF-98FE-DB8FCE775395","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":"Q40252$7B17F034-15A6-4992-A97B-2B7C61076CF2","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":"Q40252$F826D921-E9E4-4927-8CD0-E7F7741A2D72","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":"Q40252$9B18E20C-A35F-4284-BDF5-CC10797E7059","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":"Q40252$1A0F7D4B-B921-44E5-8EC7-5ADD43702AF9","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":"Q40252$9C98FA70-7E9F-4B61-86EC-932B755AB526","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":"Q40252$A9E432B4-73B8-485F-8CDF-AF0AD6CF31AB","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":"Q40252$4508167F-74A4-4CDD-BC8E-DA4407747151","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":"Q40252$D167530C-FED0-47C0-B9D9-3A7EBD3AEE09","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":"Q40252$E12DBD0C-3FC6-432C-84EB-530644FEFF81","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":"Q40252$60419556-D529-482B-9853-79C315BE5C96","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":"Q40252$F03211EC-72E7-4268-B162-5F92A13D1124","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":"Q40252$AFB6AB30-BD59-4BBF-9271-CDB1B907953B","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":"Q40252$2A060280-6175-4353-93AD-CF70879F65B4","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":"Q40252$F1D0D993-5518-4266-A50D-EA8E7B3262C8","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":"Q40252$C2C6822D-9EF9-4C05-9EED-1D27241EADD3","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":"Q40252$6F35763B-A5C9-4A82-82C3-4741361F3F23","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":"Q40252$0FB96198-AA0F-427B-9C7B-2AE64DF29861","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33ee7072fff024dcb99fb1f2babd4642a37294a1","datavalue":{"value":"https://isa-afp.org/entries/JinjaThreads.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40252$5023810C-4E81-41CB-AA38-476FA20BEC95","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40252$032FD343-2B00-4C83-89BA-58C187C44CF6","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":"Q40252$02162BA0-2A7C-4CB7-A21C-D5CD9CE6D25B","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":"Q40252$C4693D7F-3E51-410A-8CA0-7FFC03238C96","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":"Q40252$A5BF8748-B702-450C-A7CE-3CD9C671F0EE","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":"Q40252$3D1DB486-219B-4494-B5D1-21A51793D7F8","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":"Q40252$8D64570B-6D53-46F6-8022-CBFBC40A4E8F","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":"Q40252$BABEDF7A-F8F7-445A-948D-33FB93341A89","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":"Q40252$E8BBAB32-956E-4981-A389-8568CD09B4D1","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":"Q40252$39E44F8A-78A2-4F49-AA1B-B871AB4F5B10","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":"Q40252$F0022CDC-20BD-4CF5-8671-128AC9A0CEB7","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":"Q40252$015B4FB2-D23A-4AEC-BEDC-2C6397F272E6","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":"Q40252$046E4CC2-CFBA-41DD-B851-DED674E9D5EF","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":"Q40252$9EC0AC09-7BB7-4ACE-AB0D-4255ACF81F33","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":"Q40252$423E9278-F8AD-4CB7-8101-4698ED4087C9","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":"Q40252$4B7F2D55-40B5-4161-B232-945A3D7125FB","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":"Q40252$0902216A-0852-4904-B2BE-31C12F4326EA","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":"Q40252$CD827B6F-EDF3-465E-B6B3-44E59650D801","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Jinja Threads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Jinja_Threads"}}}}}