{"entities":{"Q1850310":{"pageid":1861052,"ns":120,"title":"Item:Q1850310","lastrevid":43369804,"modified":"2025-07-25T04:42:01Z","type":"item","id":"Q1850310","labels":{"en":{"language":"en","value":"Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1840394"}},"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":"Q1850310$E2B83848-37DC-40A2-8B4A-98B14911FB60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8979e3bcc1e6a35d074408bfa9ca2918f8d50deb","datavalue":{"value":{"text":"Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850310$59E082F3-EA13-45E1-A63F-7FD04FADDCF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc35737324bb1e277c4e90561960bab6f8c2bbd6","datavalue":{"value":"1001.00049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850310$7F3F42CB-9B47-42C4-9F2B-843F73556F64","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":"Q1850310$F5684738-3971-467B-9BCC-1EC3FFCD7ACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d77b9ad71b27c8447698ef69ee23e23f623e26d","datavalue":{"value":{"time":"+2002-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":"Q1850310$E5A22081-630D-417F-9FB4-0E2787B623B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d63c79f985edc176e130b72898ace890cef00b25","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding symposium (8th, 2001) has been reviewed (see Zbl 0969.00086).  Indexed articles:  \\textit{Reps, Thomas}, Static program analysis via 3-valued logic, 1 [Zbl 1015.68793]  \\textit{Hall, Robert J.}, Open modeling in multi-stakeholder distributed systems: Research and tool challenges, 2 [Zbl 1015.68885]  \\textit{Esparza, Javier}, An algebraic approach to the static analysis of concurrent software, 3 [Zbl 1015.68604]  \\textit{M\u00fcller-Olm, Markus; Seidl, Helmut}, Polynomial constants are decidable, 4-19 [Zbl 1015.68043]  \\textit{Nielson, Flemming; Nielson, Hanne Riis; Seidl, Helmut}, Normalizable Horn clauses, strongly recognizable relations, and Spi, 20-35 [Zbl 1015.68042]  \\textit{Venet, Arnaud}, Nonuniform alias analysis of recursive data structures and arrays, 36-51 [Zbl 1015.68513]  \\textit{Jeannet, B.}, Representing and approximating transfer functions in abstract interpretation of hetereogeneous datatypes, 52 [Zbl 1015.68047]  \\textit{Yavuz-Kahveci, Tuba; Bultan, Tevfik}, Automated verification of concurrent linked lists with counters, 69-84 [Zbl 1015.68510]  \\textit{Lu, Lunjin; King, Andy}, Backward type inference generalises type checking, 85-101 [Zbl 1015.68031]  \\textit{Vaucheret, Claudio; Bueno, Francisco}, More precise yet efficient type inference for logic programs, 102-116 [Zbl 1015.68033]  \\textit{Min\u00e9, Antoine}, A few graph-based relational numerical abstract domains, 117-132 [Zbl 1015.68040]  \\textit{Martel, Matthieu}, Static analysis of the numerical stability of loops, 133-150 [Zbl 1015.68045]  \\textit{Serebrenik, Alexander; De Schreye, Danny}, On termination of logic programs with floating point computations, 151-164 [Zbl 1015.68034]  \\textit{Probst, Christian W.}, Modular control flow analysis for libraries, 165-179 [Zbl 1015.68508]  \\textit{Whaley, John; Lam, Monica S.}, An efficient inclusion-based points-to analysis for strictly-typed languages, 180-195 [Zbl 1015.68507]  \\textit{Manevich, R.; Ramalingam, G.; Field, J.; Goyal, D.; Sagiv, M.}, Compactly representing first-order structures for static analysis, 196-212 [Zbl 1015.68511]  \\textit{Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.}, Possibly not closed convex polyhedra and the Parma Polyhedra Library, 213-229 [Zbl 1015.68215]  \\textit{Adams, Stephen; Ball, Thomas; Das, Manuvir; Lerner, Sorin; Rajamani, Sriram K.; Seigle, Mark; Weimer, Westley}, Speeding up dataflow analysis using flow-insensitive pointer analysis, 230-246 [Zbl 1015.68515]  \\textit{Ruf, Erik}, Improving the precision of equality-based dataflow analyses, 247-262 [Zbl 1015.68512]  \\textit{Veldhuizen, Todd L.; Lumsdaine, Andrew}, Guaranteed optimization: Proving nullspace properties of compilers, 263-277 [Zbl 1015.68038]  \\textit{Fax\u00e9n, Karl-Filip}, Representation analysis for coercion placement, 278-293 [Zbl 1015.68514]  \\textit{Langenbach, Marc; Thesing, Stephan; Heckmann, Reinhold}, Pipeline modeling for timing analysis, 294-309 [Zbl 1015.68758]  \\textit{Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert}, Analysing approximate confinement under uniform attacks, 310-325 [Zbl 1015.68069]  \\textit{Corin, Ricardo; Etalle, Sandro}, An improved constraint-based system for the verification of security protocols, 326-341 [Zbl 1015.68068]  \\textit{Blanchet, Bruno}, From secrecy to authenticity in security protocols, 342-359 [Zbl 1015.68070]  \\textit{Zanotti, Mirko}, Security typings by abstract interpretation, 360-375 [Zbl 1015.68044]  \\textit{Sabelfeld, Andrei; Mantel, Heiko}, Static confidentiality enforcement for distributed programs, 376-394 [Zbl 1015.68509]  \\textit{del Mar Gallardo, Mar\u00eda; Merino, Pedro; Pimentel, Ernesto}, Refinement of LTL formulas for abstract model checking, 395-410 [Zbl 1015.68123]  \\textit{Ranzato, Francesco; Tapparo, Francesco}, Making abstract model checking strongly preserving, 411-427 [Zbl 1015.68122]  \\textit{Mass\u00e9, Damien}, Semantics for abstract interpretation-based static analyzes of temporal properties, 428-443 [Zbl 1015.68046]  \\textit{Hymans, Charles}, Checking safety properties of behavioral VHDL descriptions by abstract interpretation, 444-460 [Zbl 1015.68529]  \\textit{Giacobazzi, Roberto; Ranzato, Francesco}, States vs. traces in model checking by abstract interpretation, 461-476 [Zbl 1015.68124]  \\textit{Bruynooghe, Maurice; Codish, Michael; Genaim, Samir; Vanhoof, Wim}, Reuse of results in termination analysis of typed logic programs, 477-492 [Zbl 1015.68505]  \\textit{Lee, Chin Soon}, Finiteness analysis in polynomial time, 493-508 [Zbl 1015.68041]  \\textit{Mesnard, Fred; Payet, Etienne; Neumerkel, Ulrich}, Detecting optimal termination conditions of logic programs, 509-525 [Zbl 1015.68032]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850310$7CDD1CA0-C8F2-41D3-9F0B-58920BACB34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850310$F8EDEC64-B8A9-470A-A884-8B7ACA244560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850310$C46064EF-D0C5-4DD2-80B0-225DC658DF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850310$3FF79752-8D73-45EF-89F3-84FD12C83A44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9b158bee9d6670e16e95f4a014e502e8d795766","datavalue":{"value":"1840394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850310$B90677E4-A5D0-429E-AB35-1273E362A030","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7c38fab5803882d94b5d52b486ebc1ff4079f4","datavalue":{"value":"Madrid (Spain)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850310$DD04B910-F745-494B-9BE5-EFC904F0CF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850310$A4D3FBAE-CCF2-4787-B6F0-6808B96EFE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850310$0052C311-29C8-4BBE-9420-BED639EAA805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"391f76c96296e4eb3afc12d5bdb43070ca5cb2f0","datavalue":{"value":"SAS 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850310$66A70F0C-F1D5-453E-94D9-CF41D5F47E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850310$5D82381A-3327-47CF-81DC-F11BFA505A86","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":"Q1850310$C5D9A27C-7283-4325-91DA-30A1E142786B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1850310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1850310"}}}}}