TY - BOOK ID - 5421538 TI - Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings AU - Riis Nielson, Hanne. AU - Filé, Gilberto. AU - International Static Analysis Symposium PY - 2007 VL - 4634 SN - 03029743 SN - 9783540740605 3540740600 3540740619 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer programming KW - Programming languages (Electronic computers) KW - Programmation (Informatique) KW - Langages de programmation KW - Congresses KW - Congrès KW - Computer Science KW - Engineering & Applied Sciences KW - Congrès KW - EPUB-LIV-FT SPRINGER-B KW - Computer science. KW - Software engineering. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - Mathematical Logic and Formal Languages. KW - Programming Techniques. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Programming KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer programming - Congresses KW - Programming languages (Electronic computers) - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:5421538 AB - 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. ER -