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

DOI10.1007/3-540-49727-7MaRDI QIDQ1265643zbMATH OpenOpenAlexFDO

Authors

Publication date 21 September 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49727-7

zbMATH Keywords

Pisa (Italy)ProceedingsSAS '98Static analysisSymposium

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

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]

Recommendations

• Special issue on static program analysis, SAS '98. 5th international symposium, Pisa, Italy, September 14--16, 1998
• Static analysis. 6th international symposium, SAS '99, Venice, Italy, September 22--24, 1999. Proceedings
• Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings
• Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26--28, 2004. Proceedings.
• Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
• Static analysis. 12th international symposium, SAS 2005, London, UK, September 7--9, 2005. Proceedings.
• Static analysis. Third international symposium, SAS '96, Aachen, Germany, September 24--26, 1996. Proceedings
• Static analysis. 22nd international symposium, SAS 2015, Saint-Malo, France, September 9--11, 2015. Proceedings
• Static analysis. 8th international symposium, SAS 2001, Paris, France, July 16--18, 2001. Proceedings
• Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17--20, 2002. Proceedings

Cited in

(6)

• Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings
• Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26--28, 2004. Proceedings.
• Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994
• Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings
• An iterative approach to precondition inference using constrained Horn clauses
• Horn clauses as an intermediate representation for program analysis and transformation

This page was built for publication: Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1265643)