Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen.

Contributor(s):

Material type: Text

TextLanguage: İngilizce Series: Theoretical Computer Science and General Issues ; 9291Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Edition: 1st ed. 2015Description: 1 online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783662482889

Subject(s):

LOC classification:

QA76.9.L63
QA76.5913
QA76.63

Online resources:

Springer eBooks Online access link to the resource

Summary: This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Notes	Date due	Barcode
E-Book	Merkez Kütüphane	Merkez Kütüphane	E-Kitap Koleksiyonu	QA76.9.L63EBK (Browse shelf(Opens below))	Geçerli değil-e-Kitap / Not applicable-e-Book	BİL		EBK00899

Browsing Merkez Kütüphane shelves, Collection: E-Kitap Koleksiyonu Close shelf browser (Hides shelf browser)

Previous								Next
Previous	QA76.9.A25EBK Trusted Systems : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers /	QA76.9.A25EBK Privacy and Identity Management for the Future Internet in the Age of Globalisation : 9th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Patras, Greece, September 7-12, 2014, Revised Selected Papers /	QA76.7-76.73EBK Compiler Construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /	QA76.9.L63EBK Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /	Q334-342EBK Advances in Artificial Intelligence and Its Applications : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II /	QA76.9.M35EBK Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /	QA76.76.A65EBK Agent Technology for Intelligent Mobile Services and Smart Societies : Workshop on Collaborative Agents, Research and Development, CARE 2014, and Workshop on Agents, Virtual Societies and Analytics, AVSA 2014, Held as Part of AAMAS 2014, Paris, France, May 5-9, 2014. Revised Selected Papers /	Next

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area.

There are no comments on this title.

to post a comment.