Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings (Q1265643)

The articles of mathematical interest will be reviewed individually. The preceding symposium (3rd, 1996) has been announced (see Zbl 0855.68002). Indexed articles: \textit{Levi, Francesca}, A symbolic semantics for abstract model checking, 134-151 [Zbl 0914.68131] \textit{Volpe, Paolo}, A first-order language for expressing aliasing and type properties of logic programs, 184-199 [Zbl 0912.03015] \textit{Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca}, Building complete abstract interpretations in a linear logic-based setting, 215-229 [Zbl 0912.03016] \textit{Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.}, Improving control in functional logic program specialization, 262-277 [Zbl 0911.68036] \textit{Charatonik, Witold; Podelski, Andreas}, Directional type inference for logic programs, 278-294 [Zbl 0917.68043] \textit{Tadjouddine, M.; Eyssette, F.; Faure, C.}, Sparse Jacobian computation in automatic differentiation by static program analysis, 311-326 [Zbl 0911.65014]