{"entities":{"Q40590":{"pageid":40646,"ns":120,"title":"Item:Q40590","lastrevid":105427361,"modified":"2026-10-09T10:07:26Z","type":"item","id":"Q40590","labels":{"en":{"language":"en","value":"Jinja not Java"}},"descriptions":{"en":{"language":"en","value":"AFP entry Jinja"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"990a11cc82ee251620de1c2b0d65204e992db1c5","datavalue":{"value":"28876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40590$3D1FC59B-B9F2-4093-AE95-78373A6A2B7C","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":"Q40590$E6F7AC1D-1ECF-46BF-898B-E31359CC7391","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"cffd45e56cfe1e5c50c37219e67325799782e0a5","datavalue":{"value":"https://www.isa-afp.org/entries/Jinja.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40590$7F31BDBE-DD6C-4E3B-B2CB-6B130CD1E1B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40590$0D796F4F-9B9A-4430-B505-C0A512623EB0","rank":"normal"}],"P1458":[{"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":"Q40590$58762342-65E7-40F6-A60D-928D943672D9","rank":"normal"},{"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":"Q40590$F68B6CD3-5195-4E32-8402-28E27CDDA26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$6D105DE2-8DCB-444F-89D8-F258DB341F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a1c834eaf7bf2e5bf95e7e5755a5eb5ec3363d0","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$9DD135A6-F26F-4B00-BE2E-1F68DD9C384D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6d7523783c7058c43b9db4fb9e4c6275989a234b","datavalue":{"value":{"entity-type":"item","numeric-id":28682,"id":"Q28682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$B9CADE86-C297-48BF-B389-D2ED7CE48BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c1111a4af73946d995c6025450c33305be35b38","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$63B86F49-3C34-4B24-9ECA-759311C4E9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$F9E74EE9-8CEF-42B8-9CB0-A856FA97B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$AD47FBBF-39EB-4C4B-BE87-3FBB6D4F9B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$68A1EC60-3FC8-4E67-8981-496E89F8509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f756f019005243c78675258773d8af1c07719cf8","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$1B1E91E6-BA44-4669-B29E-52E1F6A490B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$08D8F3A2-72AD-49C9-AC70-1F836EA85753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$00893CED-8DD7-426B-AA99-DE67E280BB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bfb5210bbde24d510bf39c9b54b7019412693a5b","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$44179F64-6784-4173-86FC-A36628376A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b90843c2343cce2fdb2e379b3e44155eedca437","datavalue":{"value":{"entity-type":"item","numeric-id":15028,"id":"Q15028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$C2D6725D-4F21-47F0-BBBB-8D1584A0E1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$77EB191F-26C4-4701-B85E-6B14FA1CFFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$670E719E-0C66-49C9-A358-DF0CCCF37221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$717F1597-EFF8-4D61-8745-965B7FED47BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"acf5d0da134f7563af94342a3a34b9ca28cd59db","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$40350CB8-79F3-4FB7-9772-80E0E9FA15A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"632efb10a45ef079967d0b23f4dec91107ff81f2","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40590$E21F5747-9698-44EF-B041-B428E96A82FE","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":"Q40590$3F4FA165-4CBD-4C54-A2E4-3463AE046656","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fa2b79678f282f433fe9298619366ea0205c2d4","datavalue":{"value":"https://isa-afp.org/entries/Jinja.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40590$B380AD51-76BB-47EE-9E3C-314852F693C8","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"46145f92c416e0014f5972c8ef4f728e7419b9b2","datavalue":{"value":"Gerwin Klein","type":"string"},"datatype":"string"},"type":"statement","id":"Q40590$71590838-FE39-43F2-8C3D-084BA56A2B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q40590$494B88B5-D9FF-47D4-BFDD-598572623AC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a75b0d2986a5c2bf11448de6542d3ef4f7b0ae7","datavalue":{"value":"We introduce Jinja, a Java-like programming language with a formal semantics designed to exhibit core features of the Java language architecture. Jinja is a compromise between realism of the language and tractability and clarity of the formal semantics. The following aspects are formalised: a big and a small step operational semantics for Jinja and a proof of their equivalence; a type system and a definite initialisation analysis; a type safety proof of the small step semantics; a virtual machine (JVM), its operational semantics and its type system; a type safety proof for the JVM; a bytecode verifier, i.e. data flow analyser for the JVM; a correctness proof of the bytecode verifier w.r.t. the type system; a compiler and a proof that it preserves semantics and well-typedness. The emphasis of this work is not on particular language features but on providing a unified model of the source language, the virtual machine and the compiler. The whole development has been carried out in the theorem prover Isabelle/HOL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40590$30290DE7-75EE-4C6A-82EC-4ED9A7FC622D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4d578b35a7e3b754503335b980ec15049161ec","datavalue":{"value":{"time":"+2005-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40590$C27E1D68-5079-4E8C-8DC9-C17FEB894F5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e19df59c76e80f8eb1e55ca865cfcbd3fb4d291","datavalue":{"value":{"text":"Jinja is not Java","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40590$0BE49AF9-F642-421E-A674-66A3D9046FCB","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":"Q40590$CA1AED8D-BEF7-4664-B0AD-1FF5B644DED8","rank":"normal"}],"P585":[{"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":"Q40590$6347DC22-010E-411C-812E-1C51AF0EDA2D","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":"Q40590$8E262B88-B127-4867-B497-A5A6964EDB90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Jinja not Java","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Jinja_not_Java"}}}}}