Special issue: SAS '97. Papers of the 4th annual symposium on static analysis, Paris, France, September 1997

DOI10.1016/S0304-3975(00)00311-XMaRDI QIDQ1608330zbMATH OpenFDO

Authors

Publication date 14 August 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00311-X

zbMATH Keywords

PapersParis (France)Special 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 preceding symposium (3rd, 1996) has been reviewing (see Zbl 0855.68002 and Zbl 0936.00043).

Cited in

(2)

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

This page was built for publication: Special issue: SAS '97. Papers of the 4th annual symposium on static analysis, Paris, France, September 1997

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