Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - Lecture Notes in Computer Science 1694 (Paperback)
  • Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - Lecture Notes in Computer Science 1694 (Paperback)
zoom

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - Lecture Notes in Computer Science 1694 (Paperback)

(editor), (editor)
£67.99
Paperback 360 Pages / Published: 08/09/1999
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS'99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540664598
Number of pages: 360
Weight: 1150 g
Dimensions: 233 x 155 x 19 mm
Edition: 1999 ed.

You may also be interested in...

User Story Mapping
Added to basket
£27.99
Paperback
The Agile Samurai
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
The Mythical Man-Month
Added to basket
Coaching Agile Teams
Added to basket
Management 3.0
Added to basket
£40.49
Paperback
Agile Product Management with Scrum
Added to basket
Agile Testing
Added to basket
£44.49
Paperback
TestNG Beginner's Guide
Added to basket
Designing Data-Intensive Applications
Added to basket
Peopleware
Added to basket
£33.49
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
Design Patterns
Added to basket
£44.49
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.