{"product_id":"static-analysis-manuel-hermenegildo-9783540442356","title":"Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings","description":"Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor- ri?cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. This volume contains the papers accepted for presentation at the Ninth - ternational Static Analysis Symposium (SAS 2002), which was held Sept- ber 17-20, 2002 in Madrid, Spain. Previous SAS symposia were held in - ris, France (LNCS 2126), Santa Barbara, CA, USA (LNCS 1824), Venice, Italy (LNCS1694), Pisa, Italy(LNCS1503), Paris, France(LNCS1302), Aachen, G- many (LNCS 1145), Glasgow, UK (LNCS 983), Namur, Belgium (LNCS 864), followingtheinternationalworkshopWSAinPadova, Italy(LNCS724), Bor- aux, France(BigreVol.81-82)andJTASPEFL\/WSA, Bordeaux, France(Bigre Vol. 74). In response to the call for papers, 86 contributions were submitted from 12 di?erent countries. Following on-line discussions, the Program Committee met in Madrid on June 22, 2002, and selected 32 papers, basing this choice on their scienti?cqualityandrelevancetothesymposium.Eachpaperwasreviewedbyat leastthreeProgramCommitteemembersorexternalreferees.Inadditiontothe contributed papers, this volume includes abstracts of invited talks by Thomas Reps(UniversityofWisconsin, USA), RobertHall(AT\u0026amp;TLabsResearch, USA), and Javier Esparza (University of Edinburgh, United Kingdom). On behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted papers and all the external referees for their careful work in the reviewing process. The support of the several funding agencies, listed later in the volume, which provided part of the funds for the organization of the conference is also gratefully acknowledged.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Manuel Hermenegildo\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540442359\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540442356\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 09\/06\/2002\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 536\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.76lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 11.00h x 8.50w x 1.11d","brand":"Manuel Hermenegildo","offers":[{"title":"Paperback","offer_id":48486951420159,"sku":"9783540442356","price":54.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_22136418-82a7-4f70-af23-ec6d4b77f30d.jpg?v=1778057354","url":"https:\/\/www.whiterainbookhouse.com\/products\/static-analysis-manuel-hermenegildo-9783540442356","provider":"WR Book House","version":"1.0","type":"link"}