{"entities":{"Q5930697":{"pageid":8107499,"ns":120,"title":"Item:Q5930697","lastrevid":32502515,"modified":"2024-03-19T23:01:22Z","type":"item","id":"Q5930697","labels":{"en":{"language":"en","value":"Programming languages and systems. 10th European symposium on programming, ESOP 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2--6, 2001. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590452"}},"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":"Q5930697$B4E3CBD4-30D0-4DF2-8891-326064D6F2FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"119de83951f8fe45d771a15565f4a617252756d4","datavalue":{"value":{"text":"Programming languages and systems. 10th European symposium on programming, ESOP 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2--6, 2001. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930697$F25153EC-D549-469D-BD8F-4176B8D4AB56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4d415913ec5759040e8dbd997f8a0cc33d287e1","datavalue":{"value":"0960.00060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930697$CA968D21-6E75-40DF-9DCE-76FBB4686DB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc0d1e284c14a092ab88a1a0a7ab1d096ffc55da","datavalue":{"value":"10.1007/3-540-45309-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930697$406A143D-EB96-4083-A638-D0CD34437A65","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":"Q5930697$817C6A3A-B57B-496A-B5E3-99308F2EDE67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d92d87602b90dd5642e226e76ae8b030e9d151e1","datavalue":{"value":{"time":"+2001-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930697$57AAE312-91DF-4B8E-8750-858BEB0D2DBC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"659672b7d2b12a1934b75e474d64e6cc5f11b7a0","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding symposium (9th, 2000) has been reviewed (see Zbl 0935.00050).  Indexed articles:  \\textit{Cardelli, Luca; Ghelli, Giorgio}, A query language based on the ambient logic, 1-22 [Zbl 0977.68028]  \\textit{Mitchell, John C.}, Probabilistic polynomial-time process calculus and security protocol analysis, 23-29 [Zbl 0977.68522]  \\textit{Pottier, Fran\u00e7ois; Skalka, Christian; Smith, Scott}, A systematic approach to static access control, 30-45 [Zbl 0987.68859]  \\textit{Zdancewic, Steve; Myers, Andrew C.}, Secure information flow and CPS, 46-61 [Zbl 0977.68021]  \\textit{Thiemann, Peter}, Enforcing safety properties using type specialization, 62-76 [Zbl 0977.68647]  \\textit{Laud, Peeter}, Semantics and program analysis of computationally secure information flow, 77-91 [Zbl 0977.68524]  \\textit{Weirich, Stephanie}, Encoding intensional type analysis, 92-106 [Zbl 0987.68851]  \\textit{Backhouse, Roland}, Fusion on languages, 107-121 [Zbl 0977.68054]  \\textit{Graunke, Paul; Krishnamurthi, Shriram; Van Der Hoeven, Steve; Felleisen, Matthias}, Programming the Web with high-level programming languages, 122-136 [Zbl 0977.68732]  \\textit{Ranzato, Francesco}, On the completeness of model checking, 137-154 [Zbl 0977.68056]  \\textit{Huth, Michael; Jagadeesan, Radha; Schmidt, David}, Modal transition systems: A foundation for three-valued program analysis, 155-169 [Zbl 0987.68849]  \\textit{Su, Zhendong; Aiken, Alexander}, Entailment with conditional equality constraints, 170-189 [Zbl 0977.68019]  \\textit{M\u00fcller-Olm, Markus; R\u00fcthing, Oliver}, On the complexity of constant propagation, 190-205 [Zbl 0977.68020]  \\textit{Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M.}, What are polymorphically-typed ambients?, 206-220 [Zbl 0977.68525]  \\textit{Conchon, Sylvain; Pottier, Fran\u00e7ois}, JOIN(\\(X\\)): Constraint-based type inference for the join-calculus, 221-236 [Zbl 0977.68521]  \\textit{Cuoq, Pascal; Pouzet, Marc}, Modular causality in a synchronous stream language, 237-251 [Zbl 0977.68709]  \\textit{Nielson, Flemming; Seidl, Helmut}, Control-flow analysis in cubic time, 252-268 [Zbl 0977.68520]  \\textit{Boudol, G\u00e9rard}, The recursive record semantics of objects revisited (extended abstract), 269-283 [Zbl 0977.68517]  \\textit{Jacobs, Bart}, A formalisation of Java's exception mechanism, 284-301 [Zbl 0977.68579]  \\textit{Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Serpette, Bernard; de Sousa, Sim\u00e3o Melo}, A formal executable semantics of the JavaCard platform, 302-319 [Zbl 0977.68577]  \\textit{Clements, John; Flatt, Matthew; Felleisen, Matthias}, Modeling an algebraic stepper, 320-334 [Zbl 0977.68705]  \\textit{Xu, Zhichen; Reps, Thomas; Miller, Barton P.}, Typestate checking of machine code, 335-351 [Zbl 0977.68778]  \\textit{Katsumata, Shin-ya; Ohori, Atsushi}, Proof-directed de-compilation of low-level code, 352-366 [Zbl 0977.68015]  \\textit{Monniaux, David}, Backwards abstract interpretation of probabilistic programs, 367-382 [Zbl 0977.68550]  \\textit{Komondoor, Raghavan; Horwitz, Susan}, Tool demonstration: finding duplicated code using program dependences, 383-386 [Zbl 0977.68771]  \\textit{Cadoli, Marco; Schaerf, Andrea}, Compiling problem specifications into SAT, 387-401 [Zbl 0977.68518]  \\textit{Bossi, Annalisa; Etalle, Sandro; Rossi, Sabina; Smaus, Jan-Georg}, Semantics and termination of simply-moded logic programs with dynamic scheduling, 402-416 [Zbl 0977.68013]  \\textit{Genaim, Samir; Codish, Michael}, The Def-inite approach to dependency analysis, 417-431 [Zbl 0977.68057]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$54DD5EB2-FB9D-4D95-A799-3F1E11C0AE69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930697$AE8C9FAC-1BF4-4BE6-87D2-4EAE624326E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930697$C0CCACB3-D970-49E5-B4DA-7DB916A3D69C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65ccb0c8a72136caa4b83b9e177c25eb7461260","datavalue":{"value":"1590452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930697$68788868-496D-4AB5-99C5-0D77F0AB84AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1470292e2f5d06fab2db1a3bf0fc303345b180d1","datavalue":{"value":"Genova (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$EA9DCBE6-A5E9-4991-A76E-3E6E9CFAD546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f4aac1e9052f8adcfa5fdbf7a3ce374766f88d","datavalue":{"value":"proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$C547E7B8-4E3C-453D-8DE4-3D0B11B5EBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e2b0a69829ae970b00763d5546beb7f27ec052","datavalue":{"value":"symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$89517D0C-1539-4EDC-8338-E6E6E202EB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2c76076f11fd290d5cb22bffd6d3783b1db1bf","datavalue":{"value":"conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$ADB8EA1E-BBAE-4114-925B-061DF37E06B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e8a731c11bc7d67e780388ee9a9ce78ab3e27a","datavalue":{"value":"ESOP 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$332C41C2-483A-486F-8960-EB20C4AA55D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2bfd81a771cbafcd0f8a22277b1d677c4ccaf0","datavalue":{"value":"ETAPS 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$3DEECD1C-4B8A-4423-B08C-526A38556D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930697$152F8D4F-DBC3-45D8-B37F-8B4E2A9D2E62","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":"Q5930697$AA216C64-5876-4FFD-BED6-63C268F66FAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35f1316cd1bee3c639800272c9dadf663fb0edcc","datavalue":{"value":"https://doi.org/10.1007/3-540-45309-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930697$017B6AF8-0931-496D-AEC8-34AE69BA4462","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c7c8679d2f0e706ba0eaa05e0255717448f1a9d","datavalue":{"value":"W2737447633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930697$A83DB58E-F64C-400D-9B14-1CE0694F67CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930697"}}}}}