Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

هدف تجزیه و تحلیل استاتیک، توسعه اصول، تکنیک ها و ابزارهایی برای اعتبارسنجی ویژگی های برنامه ها، طراحی تبدیل برنامه ها بر اساس معناشناسی و به دست آوردن پیاده سازی با کارایی بالا از زبان های برنامه نویسی سطح بالا است. در طول سال ها، مجموعه سمپوزیوم های تحلیل ایستا به عنوان محل اصلی ارائه و بحث در مورد پیشرفت های نظری، عملی و نوآورانه در این حوزه عمل کرده است. این جلد شامل مقالات پذیرفته شده برای ارائه در چهاردهمین سمپوزیوم بین المللی تجزیه و تحلیل استاتیک (SAS 2007) است. این جلسه، 22 تا 24 اوت 2007، در دانشگاه فنی دانمارک (DTU) در Kongens L-gby، دانمارک برگزار شد. در پاسخ به فراخوان مقاله، 85 مقاله ارسالی دریافت شد. هر مقاله توسط حداقل 3 کارشناس بررسی شد و بر اساس این گزارش ها، 26 مقاله پس از یک هفته بحث الکترونیکی فشرده با استفاده از سیستم کنفرانس EasyChair انتخاب شد. علاوه بر این 26 مقاله، این جلد همچنین شامل مشارکت های دو سخنران دعوت شده است: FrankTip (مرکز تحقیقاتی IBMT.J.Watson، ایالات متحده آمریکا) و آلن مایکرافت (دانشگاه کمبریج، انگلستان). از طرف کمیته برنامه، روسای برنامه از همه نویسندگانی که آثار خود را به کنفرانس ارسال کردند و همچنین از همه داوران خارجی که برای فرآیند انتخاب ضروری بوده اند تشکر می کنند. تشکر ویژه از TerkelTolstrup و J¨ org Bauer که در تحویل مقالات ارسالی و سازماندهی ساختار این جلد کمک کردند. همچنین مایلیم از اعضای کمیته سازماندهی در DTU برای کار بزرگشان تشکر کنیم. در نهایت می خواهیم از دانشکده دکتری ITMAN در DTU برای ?حمایت مالی

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22–24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¨ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support.