Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings
type: Item
instance of: scholarly article
title: Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings
zbMATH Open document ID: 1001.00049
published in: Lecture Notes in Computer Science
publication date: 2002-12-03T00:00:00Z
review text: 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üller-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é, 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.; R…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1840394
zbMATH Keywords: Madrid (Spain)
zbMATH Keywords: Proceedings
zbMATH Keywords: Symposium
zbMATH Keywords: SAS 2002
zbMATH Keywords: Static analysis
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1840394