Proceedings - LNCS 3672

The proceedings of the 12th International Static Analysis Symposium have been published by Springer-Verlag as part of the Lecture Notes in Computer Science series with volume number 3672 .

The 22 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 66 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.

	Static Analysis 12th International Symposium, SAS 2005 London, UK, September 7-9, 2005 Proceedings Series: Lecture Notes in Computer Science, Vol. 3672 Hankin, Chris; Siveroni, Igor (Eds.) 2005, X, 369 p., Softcover ISBN: 3-540-28584-9
	PRINTED VERSION ONLINE VERSION