{"entities":{"Q2388072":{"pageid":2398815,"ns":120,"title":"Item:Q2388072","lastrevid":78619058,"modified":"2026-05-06T12:02:02Z","type":"item","id":"Q2388072","labels":{"en":{"language":"en","value":"Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2203245"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388072$44010086-F3E6-4A2D-ABAE-019963FC0252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeca499b09db5fd1b775d38b0f462ea5112ddd47","datavalue":{"value":{"text":"Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388072$29A6751F-D8ED-43FD-B246-A45E7048D552","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86f4c77174ed8aed54d6e962a4a415de41994680","datavalue":{"value":"1068.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388072$54592EC8-8D98-4272-B64A-47CAC0E74CB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388072$C70A1891-8871-4792-B888-398D3CF84E85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb3ce9d676f817a28ceac9c1eb568961e7d7cff7","datavalue":{"value":{"time":"+2005-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388072$E0460168-8D63-443C-BA2B-B998CC783089","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de994aef43956f0798e76c70dc239e3683db589d","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1046.68014).  Indexed articles:  \\textit{Mauborgne, Laurent; Rival, Xavier}, Trace partitioning in abstract interpretation based static analyzers, 5-20 [Zbl 1108.68427]  \\textit{Cousot, Patrick; Cousot, Radhia; Feret, Jer\u00f4me; Mauborgne, Laurent; Min\u00e9, Antoine; Monniaux, David; Rival, Xavier}, The ASTRE\u00c9 analyzer, 21-30 [Zbl 1108.68422]  \\textit{M\u00fcller-Olm, Markus; Seidl, Helmut; Steffen, Bernhard}, Interprocedural Herbrand equalities, 31-45 [Zbl 1108.68405]  \\textit{M\u00fcller-Olm, Markus; Seidl, Helmut}, Analysis of modular arithmetic, 46-60 [Zbl 1108.68404]  \\textit{Leuschel, Michael; Vidal, Germ\u00e1n}, Forward slicing by conjunctive partial deduction and argument filtering, 61-76 [Zbl 1108.68424]  \\textit{Ranganath, Venkatesh Prasad; Amtoft, Torben; Banerjee, Anindya; Dwyer, Matthew B.; Hatcliff, John}, A new foundation for control-dependence and slicing for modern program structures, 77-93 [Zbl 1108.68429]  \\textit{Podelski, Andreas; Schaefer, Ina; Wagner, Silke}, Summaries for while programs with recursion, 94-107 [Zbl 1108.68428]  \\textit{Lu, Lunjin; King, Andy}, Determinacy inference for logic programs, 108-123 [Zbl 1108.68362]  \\textit{Lee, Oukseh; Yang, Hongseok; Yi, Kwangkeun}, Automatic verification of pointer programs using grammar-based shape analysis, 124-140 [Zbl 1108.68396]  \\textit{Fournet, C\u00e9dric; Gordon, Andrew D.; Maffeis, Sergio}, A type discipline for authorization policies, 141-156 [Zbl 1108.68456]  \\textit{Cortier, V\u00e9ronique; Warinschi, Bogdan}, Computationally sound, automated proofs for security protocols, 157-171 [Zbl 1108.68454]  \\textit{Janvier, Romain; Lakhnech, Yassine; Mazar\u00e9, Laurent}, Completing the picture: Soundness of formal encryption in the presence of active adversaries, 172-185 [Zbl 1108.68460]  \\textit{Kremer, Steve; Ryan, Mark}, Analysis of an electronic voting protocol in the applied pi calculus, 186-200 [Zbl 1108.68462]  \\textit{Tsuiki, Hideki; Sugihara, Keiji}, Streams with a bottom in functional languages, 201-216 [Zbl 1108.68365]  \\textit{Shivers, Olin; Wand, Mitchell}, Bottom-up \\(\\beta\\)-reduction: Uplinks and \\(\\lambda\\)-DAGs, 217-232 [Zbl 1108.68364]  \\textit{Biering, Bodil; Birkedal, Lars; Torp-Smith, Noah}, BI hyperdoctrines and higher-order separation logic, 233-247 [Zbl 1109.03021]  \\textit{Busi, Nadia; Zavattaro, Gianluigi}, Deciding reachability in mobile ambients, 248-262 [Zbl 1108.68539]  \\textit{Reus, Bernhard; Schwinghammer, Jan}, Denotational semantics for Abadi and Leino's logic of objects, 263-278 [Zbl 1108.68409]  \\textit{Tse, Stephen; Zdancewic, Steve}, A design for a security-typed language with certificate-based declassification, 279-294 [Zbl 1108.68468]  \\textit{Giacobazzi, Roberto; Mastroeni, Isabella}, Adjoining declassification and attack models by abstract interpretation, 295-310 [Zbl 1108.68457]  \\textit{Chander, Ajay; Espinosa, David; Islam, Nayeem; Lee, Peter; Necula, George}, Enforcing resource bounds via static verification of dynamic checks, 311-325 [Zbl 1108.68419]  \\textit{Wildmoser, Martin; Nipkow, Tobias}, Asserting bytecode safety, 326-341 [Zbl 1108.68432]  \\textit{Seco, Jo\u00e3o Costa; Caires, Lu\u00eds}, Subtyping first-class polymorphic components, 342-356 [Zbl 1108.68353]  \\textit{Niehren, Joachim; Priesnitz, Tim; Su, Zhendong}, Complexity of subtype satisfiability over posets, 357-373 [Zbl 1108.68407]  \\textit{Naik, Mayur; Palsberg, Jens}, A type system equivalent to a model checker, 374-388 [Zbl 1108.68406]  \\textit{Makholm, Henning; Wells, J. B.}, Instant polymorphic type systems for mobile process calculi: Just add reduction rules and close, 389-407 [Zbl 1108.68541]  \\textit{Thiemann, Peter}, Towards a type system for analyzing JavaScript programs, 408-422 [Zbl 1108.68355]  \\textit{Jeffrey, Alan; Rathke, Julian}, Java Jr.: Fully abstract trace semantics for a core Java language, 423-438 [Zbl 1108.68349]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388072$EA28F2E1-ACF3-41C9-9BB2-A8875F80730E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388072$E420D628-8ECD-4F32-896A-98CA07EBB380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388072$0A8AC5D2-82AE-4BDC-BC68-5C49DEC174F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388072$36F32F83-6240-4B81-AA76-4ACC2504E658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2e46e768c5cfe7cdae864f57bdf0f3440c974ed","datavalue":{"value":"2203245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388072$BF475862-05C0-4598-AD40-3FCA49FE6652","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388072$51C70DD6-1971-4A8C-B97C-58A3DCF77B3C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388072$85282749-4A99-46AE-B193-AFED7F56ABED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49808607006047a568f9867bccf667afb01d1630","datavalue":{"value":"https://doi.org/10.1007/b107380","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388072$4E51AA9D-BCB0-4D3A-A848-FDCC7FEA7818","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"035071d1cc8685a4fdb5b921cad13cffb32db83a","datavalue":{"value":"W4232919104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388072$A8EA5097-86DA-43DB-ACEC-D93093B647FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b1e17f29e16a7f5fd10a0415a9f6f3bccb3bd16","datavalue":{"value":"10.1007/B107380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388072$3C76DB99-5C92-42D7-B2E9-D4220DC49F1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e42dc761e381e330ce85bf699108aa3bb9b268","datavalue":{"value":{"entity-type":"item","numeric-id":491657,"id":"Q491657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725c3be263822b08500132fd8eab32bea97045e2","datavalue":{"value":{"amount":"+0.95728016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$5AC9DE02-1089-47E6-BAE9-B809463B1882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6826bb870a29fa8dccf6c70df4687c25cf751770","datavalue":{"value":{"entity-type":"item","numeric-id":1320423,"id":"Q1320423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9a92512e8a32d197223969b73dce417d856df9","datavalue":{"value":{"amount":"+0.949198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$EBA6C1EA-3B66-4EAE-98C8-747A5B00972A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ad74528eb6a0078a56a9844b81f712f175b044","datavalue":{"value":{"entity-type":"item","numeric-id":1881364,"id":"Q1881364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af6569e379124642922c1501461ff16d0001c6a","datavalue":{"value":{"amount":"+0.9394736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$E85AA05C-8C20-487C-B5D0-EC9C0BE4A449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b6815957b1ccf95eca4249a991561fe5e3c7f1","datavalue":{"value":{"entity-type":"item","numeric-id":855057,"id":"Q855057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acda71ba22ae809500c585d4da96219a7dbf783","datavalue":{"value":{"amount":"+0.93643016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$491E52A0-8D5D-4F7E-9A1B-9D4028831155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b3013b6688b170333ddfd3b2791982fa168b42","datavalue":{"value":{"entity-type":"item","numeric-id":2441807,"id":"Q2441807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f9b07adb960971b8d452bd424324e019af455d","datavalue":{"value":{"amount":"+0.9356797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$3874E7BB-D453-43E3-B19E-9AF29DE8C649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7459b26b64502468dd68b14c92748127823030","datavalue":{"value":{"entity-type":"item","numeric-id":1604126,"id":"Q1604126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98828c02fc85968a039a48a31fc655c4ee10c5e1","datavalue":{"value":{"amount":"+0.9330603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$4817ADCC-E6EE-49A2-9566-1637504FE77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d22a23b2ed6240376a9f95aa187e7ccc34156b8f","datavalue":{"value":{"entity-type":"item","numeric-id":261155,"id":"Q261155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6bb80d087ec1b7ebf9f1805b72b623c3f74dfb","datavalue":{"value":{"amount":"+0.93299305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$F3D395D6-51B1-44D5-963F-C1CEBC8011EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c9f33aefe6c9ea34ac74e7b0070c83b497315d","datavalue":{"value":{"entity-type":"item","numeric-id":1008936,"id":"Q1008936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1ed21ccf70aed12017390f9bc6f39571432c51","datavalue":{"value":{"amount":"+0.9268453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$21AD4D4A-F9EE-421A-8C02-258F71A89432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70eed387650d8cb0695f779deffdb2c03ce5336","datavalue":{"value":{"entity-type":"item","numeric-id":5930697,"id":"Q5930697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8323b1450fab5f3b42d9fe5994615cab64a445a7","datavalue":{"value":{"amount":"+0.9267541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$86EF49ED-0F3A-4672-862D-AC407C0B06BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f3250ea9051b01f914f80e9e797eabf89b7b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1398128,"id":"Q1398128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5beb8766d7fe5b8929448b2b9763902db478b848","datavalue":{"value":{"amount":"+0.92417353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2388072$6BA38D1B-FAFD-4576-8C69-7EC319A91152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_languages_and_systems._14th_European_symposium_on_programming,_ESOP_2005,_held_as_part_of_the_joint_European_conferences_on_theory_and_practice_of_software,_ETAPS_2005,_Edinburgh,_UK,_April_4--8,_2005._Proceedings."}}}}}