Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

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...

Uloženo v:

Podrobná bibliografie
Další autoři:	Blazy, Sandrine (Editor) Jensen, Thomas (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2015
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-662-48288-9 9783662482872
Témata:	informatika softwarové inženýrství programovací jazyky matematická logika
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Obálka

Podobné jednotky

Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Vydáno: (2012)

Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Vydáno: (2014)

Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Vydáno: (2010)

Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
Vydáno: (2005)

Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
Vydáno: (2007)

Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
Vydáno: (2006)

Static Analysis : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Vydáno: (2011)

Static analysis : 20th international symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings
Vydáno: (2013)

Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings
Vydáno: (2009)

Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings
Vydáno: (2008)

Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Vydáno: (2015)

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Vydáno: (2015)

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Vydáno: (2015)

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Vydáno: (2015)

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Vydáno: (2015)

Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
Vydáno: (2015)

Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Vydáno: (2013)

Fundamental approaches to software engineering : 18th international conference, FASE 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings
Vydáno: (2015)

Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno: (2015)

Tools and algorithms for the construction and analysis of systems : 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings
Vydáno: (2015)

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Vydáno: (2015)

Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Vydáno: (2011)

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Vydáno: (2002)

Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
Vydáno: (2014)

Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
Vydáno: (2008)

Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
Vydáno: (2011)

Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Vydáno: (2010)

Foundations of software science and computation structures : 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings
Vydáno: (2015)

Static analysis : 3. International Workshop, WSA 1993 Padova, Italy, September 22-24, 1993 : proceedings
Vydáno: (1993)

Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Vydáno: (2014)

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
Vydáno: (2014)

Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings
Vydáno: (2014)

Reachability Problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
Vydáno: (2014)

CONCUR 2012 - Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Vydáno: (2012)

Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Vydáno: (2015)

Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
Vydáno: (2012)

Hardware and software: verification and testing : 11th International Haifa verification conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
Vydáno: (2015)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings
Vydáno: (2015)

Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Vydáno: (2012)

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
Vydáno: (2003)