Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996

DOI10.1016/S0167-6423(99)00013-1MaRDI QIDQ1818079zbMATH OpenOpenAlexFDO

Authors

Publication date 8 May 2000

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

Full work available at URL https://doi.org/10.1016/s0167-6423(99)00013-1

zbMATH Keywords

Aachen (Germany)SAS '96Selected papersSpecial 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 issue will be reviewed individually. The proceedings have been reviewed (see Lecture Notes in Computer Science 1145 (1996; Zbl 0855.68002). The 6th symposium 1999 has been indicated (see Zbl 0929.00064).

Recommendations

• Special issue on static program analysis, SAS '98. 5th international symposium, Pisa, Italy, September 14--16, 1998
• Foreword to the special issue on the 2017 static analysis symposium
• Special issue: ESOP 2000, 9th European symposium on programming, held as a part of the joint European conference on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 -- April 2, 2000
• Foreword

Cited in

(3)

• Special issue on static program analysis, SAS '98. 5th international symposium, Pisa, Italy, September 14--16, 1998
• Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994
• Special issue: Selected papers of the second symposium of the Los Alamos Computer Science Institute (LACSI), Santa Fe, NM, USA, October 15--18, 2001

This page was built for publication: Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996

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