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

DOI10.1007/3-540-49727-7MaRDI QIDQ1265643zbMATHOpenAlexFDO

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

ProceedingsSymposiumStatic analysisPisa (Italy)SAS '98

Mathematics Subject Classification ID

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

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)

• Horn clauses as an intermediate representation for program analysis and transformation
• 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.
• An iterative approach to precondition inference using constrained Horn clauses
• Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings
• Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994

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)