Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994
type: Item
instance of: scholarly article
title: Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994
zbMATH Open document ID: 0939.00041
DOI: 10.1016/S0167-6423(96)00038-X
published in: Science of Computer Programming
publication date: 2000-06-15T00:00:00Z
review text: The articles of this volume will be reviewed individually. The 6th symposium 1999 has been indicated (see Zbl 0929.00064).
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1383798
zbMATH Keywords: Namur (Belgium)
zbMATH Keywords: Symposium
zbMATH Keywords: Papers
zbMATH Keywords: SAS '94
zbMATH Keywords: Special issue
zbMATH Keywords: Static analysis
MaRDI profile type: Publication
Recommended article: Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings
Recommended article: Special issue on SAS '96. Selected papers of the Third international static analysis symposium, Aachen, Germany, September 24--26, 1996
Recommended article: Special issue: SAS '97. Papers of the 4th annual symposium on static analysis, Paris, France, September 1997
Recommended article: Special issue: Static analysis symposium (SAS'99), Venice, Italy, September 22--24, 1999. Selected papers
Recommended article: Special issue: 11th static analysis symposium -- SAS 2004. Selected papers based on the presentations at the symposium, Verona, Italy, August 26--28, 2004.
Recommended article: Special issue on static program analysis, SAS '98. 5th international symposium, Pisa, Italy, September 14--16, 1998
Recommended article: 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.
Recommended article: Static analysis. Third international symposium, SAS '96, Aachen, Germany, September 24--26, 1996. Proceedings
Recommended article: Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings
Recommended article: Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings
description: scientific article; zbMATH DE number 1383798