Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994

DOI10.1016/S0167-6423(96)00038-XMaRDI QIDQ1818307zbMATH OpenFDO

Authors

Publication date 15 June 2000

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-6423(96)00038-X

zbMATH Keywords

Namur (Belgium)PapersSAS '94Special issueStatic 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 this volume will be reviewed individually. The 6th symposium 1999 has been indicated (see Zbl 0929.00064).

Recommendations

• Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings
• Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996
• Special issue: SAS '97. Papers of the 4th annual symposium on static analysis, Paris, France, September 1997
• Special issue: Static analysis symposium (SAS'99), Venice, Italy, September 22--24, 1999. Selected papers
• Special issue: 11th static analysis symposium -- SAS 2004. Selected papers based on the presentations at the symposium, Verona, Italy, August 26--28, 2004.
• Special issue on static program analysis, SAS '98. 5th international symposium, Pisa, Italy, September 14--16, 1998
• Special issue: Selected papers based on the presentation at the 10th inernational static analysis symposium (SAS 2003), San Diego, CA, USA, June 11--13, 2003.
• Static analysis. Third international symposium, SAS '96, Aachen, Germany, September 24--26, 1996. Proceedings
• Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings
• Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings

Cited in

(1)

• Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings

This page was built for publication: Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994

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